diff --git a/VERSION b/VERSION index 91aa820ada..70b1aa45f2 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -3.2.0-dev \ No newline at end of file +3.2.0-rc1 \ No newline at end of file diff --git a/doc/source/history.rst b/doc/source/history.rst index aefb1a19b9..1076c8042c 100644 --- 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