Skip to content

Conversation

@nevans
Copy link
Collaborator

@nevans nevans commented Oct 14, 2025

The server may return results out of order, so they need to be sorted to get the max UID.

@nevans nevans changed the title 📚 Improve rdoc example for uid_fetch with partial 📚 Improve rdoc example for #uid_fetch with partial Oct 14, 2025
@nevans nevans added the documentation Improvements or additions to documentation label Oct 14, 2025
@nevans nevans merged commit f7d617b into master Oct 15, 2025
39 checks passed
@nevans nevans deleted the docs/improve-uid_fetch-partial-example branch October 15, 2025 12:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants