DOMjudge-announce

Download

domjudge-announce@domjudge.org

August 2022

DOMjudge 8.1.2 & 8.0.1 released
by Michael Vasseur 05 Aug '22

05 Aug '22

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

1 0