Use language name instead of id in language statistics overview.#2947
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Mar 2, 2025
Merged
Use language name instead of id in language statistics overview.#2947meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
