From 34cfbc8c0cc2903039b6d8b0c2e78ae5779b2fbe Mon Sep 17 00:00:00 2001 From: Daniel-Constantin Mierla Date: Tue, 14 Feb 2017 14:35:45 +0100 Subject: [PATCH] Makefile.defs: version set to 5.1.0-dev1 --- src/Makefile.defs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile.defs b/src/Makefile.defs index 934ce9397c2..0226115dfb3 100644 --- a/src/Makefile.defs +++ b/src/Makefile.defs @@ -107,7 +107,7 @@ INSTALL_FLAVOUR=$(FLAVOUR) VERSION = 5 PATCHLEVEL = 1 SUBLEVEL = 0 -EXTRAVERSION = -dev0 +EXTRAVERSION = -dev1 # memory manager switcher # 0 - f_malloc (fast malloc)