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

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

TentativeConvert merged 1 commit into

leanprover-community:mainleanprover-community/lean4game:mainfrom

micuele:fix/game-translation-escaped-keysmicuele/lean4game:fix/game-translation-escaped-keysCopy head branch name to clipboard