New DOMjudge release

meisterT · meisterT · commit d06c6cfbd50f · 2025-10-05T20:50:50.000+02:00
diff --git a/website/header.shtml b/website/header.shtml
@@ -1,7 +1,7 @@
-<!--#set    var="dj_current_branch_version"  value="8.3.2"
---><!--#set var="dj_current_branch_date"     value="9 July 2025"
---><!--#set var="dj_previous_branch_version" value="8.2.3"
---><!--#set var="dj_previous_branch_date"    value="28 February 2024"
+<!--#set    var="dj_current_branch_version"  value="9.0.0"
+--><!--#set var="dj_current_branch_date"     value="5 October 2025"
+--><!--#set var="dj_previous_branch_version" value="8.3.2"
+--><!--#set var="dj_previous_branch_date"    value="9 February 2025"
 --><!--#set var="dj_rc_branch_version"       value="6.0.0RC1"
 --><!--#set var="dj_rc_branch_date"          value="30 July 2018"--><!DOCTYPE html>
 <html lang="en">
