Maintenance releases 5.1.2 and 5.0.4

Hi everyone, Today, new maintenance releases of DOMjudge have been published: 5.1.2 and 5.0.4. These contain various accumulated bugfixes. Please refer to the Changelogs for details. Download at https://www.domjudge.org/ Best, Jaap