Hi all, Today we've released DOMjudge 6.0.2, which rolls up a few bugfixes on the 6.0 branch. Thanks go out to the contest organizers that reported them. Downloads are at https://domjudge.org/download On behalf of the team, Thijs Kinkhorst