DOMjudge 3.3.2 released

Hello all, Today we've released version 3.3.2. This is a bugfix update to our current stable branch 3.3. The changes are minor bugfixes and a few documentation improvements. Most notable fix is a race condition in runguard leading to submissions that terminate (almost) instantly to receive a TIME-LIMIT verdict. Downloads as usual through our home page: http://domjudge.sourceforge.net/download On behalf of the DOMjudge developers, Jaap Eldering _______________________________________________ DOMjudge-announce mailing list Unsubscribe via: https://secure.a-eskwadraat.nl/mailman/listinfo/domjudge-announce