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