All,
DOMjudge 7.3.3 has been released. This is a bugfix release that contains a number of useful improvement 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
For the team, Thijs
domjudge-announce@domjudge.org