diff --git a/RELEASE b/RELEASE
index 8053ae93a5e4b5397f71e1fd2bc66caa70bd18ec..238ce5fc4525ec1ecb742e74592e42ca8009b2c5 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-12_alpha1
+13_dev0