DOMjudge 7.3 released

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