5 years ago · 70fb41def0
--- a/extra/CHANGES.txt
+++ b/extra/CHANGES.txt
@@ -1,4 +1,4 @@
 
				-2019-12-XX: 4.0.5
			
 
				+2019-12-13: 4.0.5
			
 
				 
			
 
				 	Bugfixes:
			
 
				 
			
--- a/src/core/globals.ml
+++ b/src/core/globals.ml
@@ -24,7 +24,7 @@ type platform =
 
				 	| Hl
			
 
				 	| Eval
			
 
				 
			
 
				-let version = 4003
			
 
				+let version = 4005
			
 
				 let version_major = version / 1000
			
 
				 let version_minor = (version mod 1000) / 100
			
 
				 let version_revision = (version mod 100)