5 years ago · 5e3f33b5c1
--- 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:
			
 
				 
			
--- 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)