Hi all,
Today we've released DOMjudge 7.0.2, which contains a number of fixes for
problems discovered since the last release.
It can be downloaded from
https://www.domjudge.org/download
Updated Debian packages are also available from our APT archive. Docker
and live images will follow soon.
Thanks go to the several DOMjudge users that reported the bugs.
On behalf of the team,
Thijs