20 Oct
2019
20 Oct
'19
7:22 p.m.
Hi all, Today we've released DOMjudge 7.1.1, which contains a number of fixes for problems discovered since the last release. It can be downloaded from https://www.domjudge.org/download Docker and live images, as well as updated Debian packages, will follow soon. Thanks go to the several DOMjudge users that reported the bugs. On behalf of the team, Nicky