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