version commit

anmolsahoo25 · Jan 15, 2020 · 03ebf28 · 03ebf28
1 parent 907eadb
commit 03ebf28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/VERSION b/VERSION
@@ -1,4 +1,4 @@
-4.11.0+dev0-2019-10-18
+4.10.1
 
 # The version string is the first line of this file.
 # It must be in the format described in stdlib/sys.mli