10 Nov
2020
10 Nov
'20
8:36 p.m.
Hi all,
Today DOMjudge 7.3.1 is released, a minor update to our 7.3 release which includes a number of useful bugfixes.
As usual you can download from https://domjudge.org/download. Updated Debian packages are available in our repository. New Docker images will follow tomorrow.
On behalf of the team, Thijs