Skip to content

Do not crash when viewing an internal error for a deleted judgehost.#2183

Merged
nickygerritsen merged 1 commit intoDOMjudge:mainfrom nickygerritsen:fix-internal-error-for-deleted-judgehostOct 21, 2023
+12-2

Commits

Commits on Oct 21, 2023