first commit after branching 4.05

master
Damien Doligez 2017-02-15 16:51:10 +01:00
parent 3b845b6676
commit 81d5044b86
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
4.05.0+dev1-2017-02-15
4.06.0+dev0-2017-02-15
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli