release branch

arminbiere · Feb 27, 2024 · ad17c47 · ad17c47
1 parent c0118ae
commit ad17c47
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.9.4
+1.9.5-rc.1
diff --git a/src/version.cpp b/src/version.cpp
@@ -24,7 +24,7 @@
 
 #ifdef NBUILD
 #ifndef VERSION
-#define VERSION "1.9.4"
+#define VERSION "1.9.5-rc.1"
 #endif // VERSION
 #endif // NBUILD