From adb5249d10e6f37c80bdae69f61678ea0994617f Mon Sep 17 00:00:00 2001 From: Daniel-Constantin Mierla Date: Sat, 15 Apr 2023 08:29:29 +0200 Subject: [PATCH] Makefile.defs: version set to 5.7.0-dev4 - mark the end of development for 5.7.x series --- src/Makefile.defs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile.defs b/src/Makefile.defs index 869cf3d2520..81f7b9ce65e 100644 --- a/src/Makefile.defs +++ b/src/Makefile.defs @@ -107,7 +107,7 @@ INSTALL_FLAVOUR=$(FLAVOUR) VERSION = 5 PATCHLEVEL = 7 SUBLEVEL = 0 -EXTRAVERSION = -dev3 +EXTRAVERSION = -dev4 # memory manager switcher # 0 - f_malloc (fast malloc)