Hi everyone, Today new maintenance releases of DOMjudge have been published: 5.1.1 and 5.0.3. They contain various accumulated bugfixes. Please refer to the Changelogs for details. Download at https://www.domjudge.org/ The 4.0 branch is no longer supported and receives no maintenance. Cheers, Thijs