Hi all,
We've released DOMjudge 8.1.2 & 8.0.1. These releases bundle some small
bugfixes since the initial release of these versions.
For details see:
https://github.com/DOMjudge/domjudge/blob/8.1/ChangeLog
and:
https://github.com/DOMjudge/domjudge/blob/8.0/ChangeLog
Please head to
https://www.domjudge.org/download for instructions or to
download the new release. We've also updated the Docker images.
Thanks to all who reported issues and provided pull requests. It's really
great to see contributions from so many different people. If you have any
issues with the new release, don't hesitate to create an issue on GitHub (
https://github.com/DOMjudge/domjudge/issues), join our Slack (
https://www.domjudge.org/chat) or send a mail to the development mailing
list (
https://www.domjudge.org/mailman/postorius/lists/domjudge-devel.domjudge.or…).
On behalf of the team,
Michael Vasseur