%!s(int64=3) %!d(string=hai) anos · e5eec31224
--- a/extra/CHANGES.txt
+++ b/extra/CHANGES.txt
@@ -1,4 +1,4 @@
 
				-2021-XX-XX 4.2.5:
			
 
				+2021-03-06 4.2.5:
			
 
				 
			
 
				 	New features:
			
 
				 
			
--- a/src/core/globals.ml
+++ b/src/core/globals.ml
@@ -24,7 +24,7 @@ type platform =
 
				 	| Hl
			
 
				 	| Eval
			
 
				 
			
 
				-let version = 4204
			
 
				+let version = 4205
			
 
				 let version_major = version / 1000
			
 
				 let version_minor = (version mod 1000) / 100
			
 
				 let version_revision = (version mod 100)