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