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.
