Version 1.25.0-dev.3.0
Merge commit '7887c34a29b015fcf7411bafc27ace0d4a1e73e7' into dev
diff --git a/CHANGELOG.md b/CHANGELOG.md
index f3522e6..cac64ca 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -46,7 +46,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..eed4dce 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 3
PRERELEASE_PATCH 0