release 4.1.1

RealyUniqueName · RealyUniqueName · commit 5e3f33b5c1c6 · 2020-05-22T12:17:05.000+03:00
diff --git a/extra/CHANGES.txt b/extra/CHANGES.txt
@@ -1,4 +1,4 @@
-2020-XX-XX: 4.1.1
+2020-22-05 4.1.1
 
 	New features:
 
diff --git a/src/core/globals.ml b/src/core/globals.ml
@@ -24,7 +24,7 @@ type platform =
 	| Hl
 	| Eval
 
-let version = 4100
+let version = 4101
 let version_major = version / 1000
 let version_minor = (version mod 1000) / 100
 let version_revision = (version mod 100)
