last commit before branching 4.03

2016-02-18 17:07:57 +01:00 · 2016-02-18 17:07:57 +01:00 · 627ef6a11d
parent 5401ce8473
commit 627ef6a11d
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1,4 +1,4 @@
-4.03.0+dev12-2015-11-20
+4.03.0+dev13-2016-02-18

 # The version string is the first line of this file.
 # It must be in the format described in stdlib/sys.mli