From 76149e02e4a73bfd6e24200b21b05c981776741e Mon Sep 17 00:00:00 2001 From: Daniel-Constantin Mierla Date: Mon, 18 Sep 2017 09:17:40 +0200 Subject: [PATCH] Makefile.defs: version set to 5.1.0-dev7 --- src/Makefile.defs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile.defs b/src/Makefile.defs index 5ffbc5dba71..a7a66c4ed98 100644 --- a/src/Makefile.defs +++ b/src/Makefile.defs @@ -107,7 +107,7 @@ INSTALL_FLAVOUR=$(FLAVOUR) VERSION = 5 PATCHLEVEL = 1 SUBLEVEL = 0 -EXTRAVERSION = -dev6 +EXTRAVERSION = -dev7 # memory manager switcher # 0 - f_malloc (fast malloc)