Skip to content

Conversation

@gnprice
Copy link
Member

@gnprice gnprice commented Aug 8, 2025

These were added yesterday in 7f7aa98 (#1790). The descriptions changed in the last revision before the PR was merged; but the edit apparently didn't make it to the generated file, causing CI to fail.

These were added yesterday in 7f7aa98 (zulip#1790).  The descriptions
changed in the last revision before the PR was merged; but the edit
apparently didn't make it to the generated file, causing CI to fail.
@gnprice gnprice requested a review from chrisbobbe August 8, 2025 02:43
@gnprice gnprice merged commit 2a163b2 into zulip:main Aug 8, 2025
1 check passed
@gnprice
Copy link
Member Author

gnprice commented Aug 8, 2025

(Going ahead and merging, to fix CI in main.)

@gnprice gnprice deleted the pr-l10n-fix branch August 8, 2025 02:44
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