Version 2.5.0-dev.4.0

Merge commit '027071318ff1333fefcf7b4e475c10a8f68ebc0d' into dev
diff --git a/tools/VERSION b/tools/VERSION
index 657c504..45046d5 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 4
 PRERELEASE_PATCH 0
 ABI_VERSION 11
 OLDEST_SUPPORTED_ABI_VERSION 11