From 569df5b6e118128995c70d266668f11825c8fec8 Mon Sep 17 00:00:00 2001
From: Peter Maydell <peter.maydell@linaro.org>
Date: Thu, 26 Apr 2018 11:48:20 +0100
Subject: [PATCH] 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>
---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index d8b698973a..119521432e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-2.12.0
+2.12.50