Version 2.5.0-dev.0.0

Merge commit '75b469fe1736e2101b9a43872233e78e371fa7c7' into dev
diff --git a/tools/VERSION b/tools/VERSION
index aa48b1b..1a2f417 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -29,10 +29,10 @@
 #  * Deprecating an old ABI version:
 #     - increase OLDEST_SUPPORTED_ABI_VERSION to the version that is supported.
 #
-CHANNEL be
+CHANNEL dev
 MAJOR 2
-MINOR 3
-PATCH 3
+MINOR 5
+PATCH 0
 PRERELEASE 0
 PRERELEASE_PATCH 0
 ABI_VERSION 5