gudhi 3.7.1 release

GUDHI · Jan 6, 2023 · ed492f0 · ed492f0
1 parent 803e724
commit ed492f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeGUDHIVersion.txt b/CMakeGUDHIVersion.txt
@@ -2,7 +2,7 @@
 set (GUDHI_MAJOR_VERSION 3)
 set (GUDHI_MINOR_VERSION 7)
 # GUDHI_PATCH_VERSION can be 'ZaN' for Alpha release, 'ZbN' for Beta release, 'ZrcN' for release candidate or 'Z' for a final release.
-set (GUDHI_PATCH_VERSION 1rc1)
+set (GUDHI_PATCH_VERSION 1)
 set(GUDHI_VERSION ${GUDHI_MAJOR_VERSION}.${GUDHI_MINOR_VERSION}.${GUDHI_PATCH_VERSION})
 
 message(STATUS "GUDHI version : ${GUDHI_VERSION}")