Hi all,
Today we've released DOMjudge 7.3.0.
This new feature release bundles up a number of newly developed features
and improvements that were made in the past months. For details see:
https://github.com/DOMjudge/domjudge/blob/7.3/ChangeLog
Updated Docker images are available, and starting from this release we've
resumed to ship Debian packages from the repository documented on our
website. Please head to https://www.domjudge.org/download for instructions
or to download the new release.
Thanks to all who reported issues and provided pull requests. It's really
great to see contributions from so many different people.
On behalf of the team,
Thijs Kinkhorst
