DOMjudge-announce September 2022

domjudge-announce@domjudge.org

DOMjudge 8.1.3 released
by Michael Vasseur 19 Sep '22

19 Sep '22

Hi all, We've released DOMjudge 8.1.3. This release bundles some small bugfixes since the initial release of this version. For details see: https://github.com/DOMjudge/domjudge/blob/8.1/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