From 303e07d66198fa3891b69fdcf3c71d68805c1558 Mon Sep 17 00:00:00 2001
From: Daniel-Constantin Mierla <miconda@gmail.com>
Date: Thu, 5 Sep 2019 07:02:39 +0200
Subject: [PATCH] Makefile.defs: version set to 5.3.0-dev8

- end of development for v5.3.x
---
 src/Makefile.defs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile.defs b/src/Makefile.defs
index 62d8024c0d8..7cebfd53de3 100644
--- a/src/Makefile.defs
+++ b/src/Makefile.defs
@@ -107,7 +107,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
 VERSION = 5
 PATCHLEVEL = 3
 SUBLEVEL =  0
-EXTRAVERSION = -dev7
+EXTRAVERSION = -dev8
 
 # memory manager switcher
 # 0 - f_malloc (fast malloc)