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