Skip to content

Conversation

gnprice
Copy link
Member

@gnprice gnprice commented Sep 24, 2025

Just filed this issue #1867 in the tracker.

@gnprice gnprice merged commit da32714 into zulip:main Sep 24, 2025
1 check passed
@gnprice gnprice deleted the pr-todo-link branch September 24, 2025 18:11
@gnprice
Copy link
Member Author

gnprice commented Sep 24, 2025

(Merged immediately because it's a pure comment change. The reason I made a PR for this change at all, rather than push directly without a PR, is just that having the commits organized into PRs is helpful for me when I'm reviewing the changes since the last release to prepare the changelog for the next release.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant