DOMjudge 4.0.5 released

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