Version 1.13.0-dev.0.0

Merge commit '17dbad18e9d9e811a4f035b9ac52de4b98485fb2' into dev
diff --git a/tools/VERSION b/tools/VERSION
index c36357d..aeb856f 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -23,7 +23,7 @@
 #  * Making cherry-picks to stable channel
 #     - increase PATCH by 1
 #
-CHANNEL be
+CHANNEL dev
 MAJOR 1
 MINOR 13
 PATCH 0