release 4.1.2

extra/CHANGES.txt

@@ -1,4 +1,4 @@
-2020-XX-XX 4.1.2
+2020-06-19 4.1.2
 
 	Bugfixes:
 

extra/release-checklist.txt

@@ -9,6 +9,7 @@
 
 - Make sure CHANGES.txt has a proper date set!
 - Make sure `version` in globals.ml has the correct value
+- Update `version` in `./opam`
 - Check if the protocolVersion in displayJson.ml has to be updated
 - Make an empty GitHub release in https://github.com/HaxeFoundation/haxe/releases (do this first because we need the tag for the builds)
 - Wait for the CI to build (check https://build.haxe.org/builds/haxe/)
@@ -20,6 +21,10 @@
 - If everything was working, run the command again without `--dry` (and probably without the `-d`)
 - Update https://github.com/HaxeFoundation/haxe.org/blob/staging/downloads/versions.json
 
+# Cleanup
+
+- Remove issues with released fixes from the "Hotfix" milestone: https://github.com/HaxeFoundation/haxe/milestone/18
+
 # Announcing the release
 
 - Find someone to announce the release on our various communication channels

opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "haxe"
-version: "4.1.0"
+version: "4.1.2"
 synopsis: "Multi-target universal programming language"
 description: """
 Haxe is an open source toolkit based on a modern,

src/core/globals.ml

@@ -24,7 +24,7 @@ type platform =
 	| Hl
 	| Eval
 
-let version = 4101
+let version = 4102
 let version_major = version / 1000
 let version_minor = (version mod 1000) / 100
 let version_revision = (version mod 100)