Skip to content

fix(client): match lean-i18n escaping in translation keys - #563

Merged
TentativeConvert merged 1 commit into
leanprover-community:mainfrom
micuele:fix/game-translation-escaped-keys
Oct 2, 2026
Merged

fix(client): match lean-i18n escaping in translation keys#563
TentativeConvert merged 1 commit into
leanprover-community:mainfrom
micuele:fix/game-translation-escaped-keys

fix(client): match lean-i18n escaping in translation keys

b855f04
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 notice
Linux - electron
failed Sep 29, 2026 in 4m 54s