Release DOMjudge 8.3

This also drops support for DOMjudge 8.1.

ChangeLog

@@ -1,7 +1,7 @@
 DOMjudge Programming Contest Judging System
 
-Version 8.3.0DEV
-----------------------------
+Version 8.3.0 - 31 May 2024
+---------------------------
  - [security] Close metadata file descriptor for the child in runguard.
  - Document that minimum PHP version is now 8.1.0.
  - Upgrade Symfony to 6.2 and upgrade other library dependencies.

README.md

@@ -6,7 +6,7 @@ DOMjudge
 [![Coverity Scan Status](https://img.shields.io/coverity/scan/671.svg)](https://scan.coverity.com/projects/domjudge)
 [![CodeQL alerts](https://github.com/DOMjudge/domjudge/actions/workflows/codeql-analysis.yml/badge.svg?branch=main&event=push)](https://github.com/DOMjudge/domjudge/actions/workflows/codeql-analysis.yml)
 
-This is the Programming Contest Jury System "DOMjudge" version 8.3.0DEV
+This is the Programming Contest Jury System "DOMjudge" version 8.3.0
 
 DOMjudge is a system for running a programming contest, like the
 ICPC regional and world championship programming contests.

SECURITY.md

@@ -5,9 +5,9 @@
 | DOMjudge Version | Supported          | PHP version supported |
 |------------------| ------------------ |-----------------------|
 | main branch      | :warning:          | 8.1-8.3               |
+| 8.3.x            | :white_check_mark: | 8.1-8.3               |
 | 8.2.x            | :white_check_mark: | 7.4-8.2               |
-| 8.1.x            | :white_check_mark: | 7.4-8.2               |
-| < 8.1            | :x:                | :x:                   |
+| < 8.2            | :x:                | :x:                   |
 
 ## Reporting a Vulnerability