call this 3.0.0

flintlib · Oct 20, 2023 · 6fb6a8d · 6fb6a8d
1 parent a2134a1
commit 6fb6a8d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-3.0.0-rc1
+3.0.0
diff --git a/doc/source/history.rst b/doc/source/history.rst
@@ -6,7 +6,7 @@ History and changes
 FLINT version history
 :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
 
-2023-10-?? -- FLINT 3.0
+2023-10-20 -- FLINT 3.0
 -------------------------------------------------------------------------------
 
 Merged libraries and reorganisation