From dadc0aad61273e77df2bf7fd3da58f4946930028 Mon Sep 17 00:00:00 2001
From: Daniel-Constantin Mierla <miconda@gmail.com>
Date: Thu, 17 Dec 2015 12:35:38 +0100
Subject: [PATCH] Makefile.defs: version set to 4.2.7

---
 Makefile.defs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.defs b/Makefile.defs
index dc4db8b0f35..df73e694af9 100644
--- a/Makefile.defs
+++ b/Makefile.defs
@@ -164,7 +164,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
 # version number
 VERSION = 4
 PATCHLEVEL = 2
-SUBLEVEL = 6
+SUBLEVEL = 7
 EXTRAVERSION =
 
 # memory manager switcher