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
