Open 2.13 development tree

Unfortunately I forgot to do this before applying the merge
in commit 8e383d19b44863556, so that commit will incorrectly
claim to be 2.12 even though it isn't in the official 2.12
release. Oops.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

diff --git a/VERSION b/VERSION
index d8b698973a4918eb7d323228992b517d7c249f4a..119521432e31164b46c300265765d4d808a690aa 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-2.12.0
+2.12.50