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