VERSION: 1.11.12 released, doing .13rc1 now

Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
open-mpi · Dec 13, 2018 · af7d6a5 · af7d6a5
1 parent 2431bf6
commit af7d6a5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/VERSION b/VERSION
@@ -9,7 +9,7 @@
 
 major=1
 minor=11
-release=12
+release=13
 
 # greek is used for alpha or beta release tags.  If it is non-empty,
 # it will be appended to the version number.  It does not have to be
@@ -18,7 +18,7 @@ release=12
 # requirement is that it must be entirely printable ASCII characters
 # and have no white space.
 
-greek=rc2
+greek=rc1
 
 # The date when this release was created
 

diff --git a/contrib/windows/private_config.h b/contrib/windows/private_config.h
@@ -665,7 +665,7 @@
 
 
 /* Version number of package */
-#define HWLOC_VERSION "1.11.12"
+#define HWLOC_VERSION "1.11.13"
 #define VERSION HWLOC_VERSION
 
 /* Define to 1 if the X Window System is missing or not being used. */