From b5496b75d5af8ba57616a1a47d74b3682dd920dd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Albin=20Ahlb=C3=A4ck?= Date: Mon, 20 Jan 2025 15:33:17 +0100 Subject: [PATCH] Set version to 3.2.0-rc1 for release candidate --- VERSION | 2 +- doc/source/history.rst | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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