From 4ad97857d346c4dddf02e7164d8bd9c5a2e1af26 Mon Sep 17 00:00:00 2001
From: Daniel-Constantin Mierla <miconda@gmail.com>
Date: Tue, 1 Nov 2016 14:57:01 +0100
Subject: [PATCH] Makefile.defs: version set to 5.0.0-dev7

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

diff --git a/Makefile.defs b/Makefile.defs
index 582fb38690e..70f5d40f825 100644
--- a/Makefile.defs
+++ b/Makefile.defs
@@ -102,7 +102,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
 VERSION = 5
 PATCHLEVEL = 0
 SUBLEVEL =  0
-EXTRAVERSION = -dev6
+EXTRAVERSION = -dev7
 
 # memory manager switcher
 # 0 - f_malloc (fast malloc)