DOMjudge 7.3.1 released

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