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
