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
