Update release date

MiniZinc · Jun 2, 2024 · 2fdef7b · 2fdef7b
1 parent 6c5b0aa
commit 2fdef7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/changes.rst b/changes.rst
@@ -9,7 +9,7 @@ https://github.com/MiniZinc/libminizinc/issues.
 `Version 2.8.5 <https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.8.5>`__
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-(released 31 May 2024)
+(released 3 June 2024)
 
 Bug fixes:
 ^^^^^^^^^^