From a5cff664765fa9abaccd15e42e39438ccce18404 Mon Sep 17 00:00:00 2001
From: Mikael Magnusson <mikachu@gmail.com>
Date: Sun, 13 Dec 2015 17:30:02 +0100
Subject: Change version on this branch

---
 Config/version.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Config/version.mk b/Config/version.mk
index 5577f4a0b..b182ffa79 100644
--- a/Config/version.mk
+++ b/Config/version.mk
@@ -27,5 +27,5 @@
 # This must also serve as a shell script, so do not add spaces around the
 # `=' signs.
 
-VERSION=5.2-dev-1
+VERSION=5.2-dev-1-badarrays
 VERSION_DATE='January 20, 2015'
-- 
cgit 1.4.1