Closed RagnarGrootKoerkamp closed 1 month ago
Which version of DOMjudge are you using? This should be fixed in 8.3.0: https://github.com/DOMjudge/domjudge/pull/2469
Ah yes that should fix it. Thanks :)
Which version of DOMjudge are you using? This should be fixed in 8.3.0: https://github.com/DOMjudge/domjudge/pull/2469