All,
DOMjudge 7.3.4 has been released. This is a bugfix release that contains
a mostly bugfixes that have been identified since the previous
release. Many thanks to the various users who reported them or
contributed a fix.
Download from https://www.domjudge.org/download
Updated Docker images and Debian packages are also available.
For the team,
Thijs
