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.