Skip to content

Conversation

@chrisbobbe
Copy link
Collaborator

(A small part of my work toward #1798.)

@chrisbobbe chrisbobbe requested a review from gnprice October 22, 2025 23:57
@chrisbobbe chrisbobbe added the integration review Added by maintainers when PR may be ready for integration label Oct 22, 2025
@gnprice
Copy link
Member

gnprice commented Nov 1, 2025

Thanks! Looks good; merging.

@gnprice gnprice force-pushed the pr-dartdoc-send-message branch from 54534d6 to 14ed009 Compare November 1, 2025 00:17
@gnprice gnprice merged commit 14ed009 into zulip:main Nov 1, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

integration review Added by maintainers when PR may be ready for integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants