Update release index and bump release number accordingly.

Ravenbrook · Mar 18, 2014 · 9d95f47 · 9d95f47
1 parent 6f11722
commit 9d95f47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/code/version.c b/code/version.c
@@ -38,7 +38,7 @@ SRCID(version, "$Id$");
  * .release.old: before 2006-02-01 the style was "release.epcore.chub".
  */
 
-#define MPS_RELEASE "release/1.113.0"
+#define MPS_RELEASE "release/1.113.1"
 
 
 /* MPSCopyrightNotice -- copyright notice for the binary