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