Skip to content

Conversation

gnprice
Copy link
Member

@gnprice gnprice commented Sep 26, 2025

@gnprice gnprice added the maintainer review PR ready for review by Zulip maintainers label Sep 26, 2025
@chrisbobbe chrisbobbe merged commit 64f0359 into zulip:main Oct 3, 2025
1 check passed
@chrisbobbe
Copy link
Collaborator

LGTM, thanks! Merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintainer review PR ready for review by Zulip maintainers
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants