Mailinglist moved to domjudge.org

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