DOMjudge 7.2.1 and 7.1.3 released

Hi all,

Today we've released bugfix updates of DOMjudge 7.2 and 7.1.

These fix a number of bugs discovered in the past months. Thanks to all the users reporting them or even providing a suggested fix. We recommend upgrading to these releases, for the most flawless DOMjudge experience.

They can be downloaded from https://www.domjudge.org/download Updated Docker images are also available.

(There are no Debian packages for these release branches. We expect that Debian packages will be offered again starting with the 7.3 branch which is currently under development.)

On behalf of the team, Thijs Kinkhorst