Hi all, DOMjudge's project mailinglists have been moved under the domjudge.org domain. This list's post address has therefore changed to domjudge-devel@domjudge.org. The administration page of this and the announce and commits lists can now be found under https://www.domjudge.org/mailman/listinfo/ Mails to the old list's posting address will be forwarded for some time. Cheers, Thijs