Set version to 3.2.0-rc1 for release candidate

flintlib · Jan 20, 2025 · b5496b7 · b5496b7
1 parent 20062be
commit b5496b7
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.2.0-dev
+3.2.0-rc1
diff --git a/doc/source/history.rst b/doc/source/history.rst
@@ -6,7 +6,7 @@ History and changes
 FLINT version history
 :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
 
-????-??-?? -- FLINT 3.2.0-dev
+2025-01-20 -- FLINT 3.2.0-rc1
 -------------------------------------------------------------------------------
 
 Main contributors: Albin Ahlbäck (AA), Bill Allombert (BA), Ricardo Buring