DOMjudge 7.3.2 released

All,

DOMjudge 7.3.2 has been released today; a bugfix release which resolves a number of issues in our latest stable branch, several of which reported by our users. Thanks to all those that contributed!

Updated Debian packages are available for this relase which also resolve a few issues that have been reported in the previous version. Updated Docker images will follow soon.

Downloads are at: https://www.domjudge.org/download

For the team, Thijs Kinkhorst