Skip to content

Conversation

nedley
Copy link
Contributor

@nedley nedley commented Sep 25, 2025

GenerateEmoji.java requires these after #1204.

eggrobin
eggrobin previously approved these changes Sep 25, 2025
@nedley nedley merged commit f9e6e80 into main Sep 25, 2025
16 checks passed
@nedley nedley deleted the ned/emoji_18_prep branch September 25, 2025 20:30
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.

3 participants