Skip to content

[WIP] Add support for unicode names (any character, including emojis)… #5940

[WIP] Add support for unicode names (any character, including emojis)…

[WIP] Add support for unicode names (any character, including emojis)… #5940

Triggered via push August 12, 2023 23:20
Status Success
Total duration 4m 23s
Artifacts
extract-translations
4m 15s
extract-translations
Fit to window
Zoom out
Zoom in