Hi all, Today, new maintenance releases of DOMjudge have been published: 5.1.3 and 5.0.5. These contain various accumulated bugfixes. Please refer to the Changelogs for details. Download at https://www.domjudge.org/ Best, Jaap P.S. We plan to publish a new 5.2.0 release shortly.