Version 2.5.0-dev.1.0

Merge commit '33a5745c495f6a12af9d0fea2441a962ab63a540' into dev
diff --git a/tools/VERSION b/tools/VERSION
index 6904148..0bb2831 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -29,11 +29,11 @@
 #  * Deprecating an old ABI version:
 #     - increase OLDEST_SUPPORTED_ABI_VERSION to the version that is supported.
 #
-CHANNEL be
+CHANNEL dev
 MAJOR 2
 MINOR 5
 PATCH 0
-PRERELEASE 0
+PRERELEASE 1
 PRERELEASE_PATCH 0
 ABI_VERSION 7
 OLDEST_SUPPORTED_ABI_VERSION 5