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