Version 1.25.0-dev.1.0

Merge commit 'b2b98bb8fd1d6e76161db6142ea3f100dd557ae8' into dev
diff --git a/CHANGELOG.md b/CHANGELOG.md
index f512435..ea3d94b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -32,7 +32,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..9520829 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 1
 PRERELEASE_PATCH 0