All,
Next to our major new release DOMjudge 5.0, we've also made available an incremental update to the 4.0 series to address some minor issues and make some documentation improvements: DOMjudge 4.0.5.
Downloads as usual from https://www.domjudge.org/
For the team, Thijs
_______________________________________________ DOMjudge-announce mailing list https://www.domjudge.org/mailman/listinfo/domjudge-announce