Closed vmcj closed 3 months ago
This is also in https://github.com/DOMjudge/domjudge/pull/2424 but as that one needs more work fixing the rendering now seems the better option.
This is also in https://github.com/DOMjudge/domjudge/pull/2424 but as that one needs more work fixing the rendering now seems the better option.