Skip to content

Conversation

@EbenSorkin
Copy link
Contributor

This is done now.

@m4rc1e m4rc1e merged commit d77fe9b into google:main Feb 10, 2026
1 of 2 checks passed
@github-project-automation github-project-automation bot moved this from PR GF to PR Merged in Fonts Traffic Jam Feb 10, 2026
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.

2 participants