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