Version 1.25.0-dev.2.0

Merge commit '8ba4f78dd30981372e5e14966f8576346b7f5a74' into dev
diff --git a/CHANGELOG.md b/CHANGELOG.md
index fa76f9c..510ca6d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -39,7 +39,7 @@
     * Fixed a Safari issue during bootstrapping (note that Safari is still not
       officially supported but does work for trivial examples).
 
-## 1.24.0
+## 1.24.0 - 12-06-2017
 
 ### Language
 * During a dynamic type check, `void` is not required to be `null` anymore.
diff --git a/tools/VERSION b/tools/VERSION
index 42b167d..1988e4e 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -23,9 +23,9 @@
 #  * Making cherry-picks to stable channel
 #     - increase PATCH by 1
 #
-CHANNEL be
+CHANNEL dev
 MAJOR 1
 MINOR 25
 PATCH 0
-PRERELEASE 0
+PRERELEASE 2
 PRERELEASE_PATCH 0