From 8c5e97589fc0fed121ee6e8ca4adbf9ec63ad2eb Mon Sep 17 00:00:00 2001 From: Daniel-Constantin Mierla Date: Fri, 2 Feb 2024 08:55:38 +0100 Subject: [PATCH] Makefile.defs: version set to 5.8.0-dev3 - mark end of development for v5.8.x series --- src/Makefile.defs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/Makefile.defs b/src/Makefile.defs index b088bcfffe2..b3067c493d3 100644 --- a/src/Makefile.defs +++ b/src/Makefile.defs @@ -107,7 +107,7 @@ INSTALL_FLAVOUR=$(FLAVOUR) VERSION = 5 PATCHLEVEL = 8 SUBLEVEL = 0 -EXTRAVERSION = -dev2 +EXTRAVERSION = -dev3 # memory manager switcher # 0 - f_malloc (fast malloc) @@ -2212,4 +2212,3 @@ export $(saved_chg_vars) endif # ifneq ($(exported_vars),1) endif # ifeq ($(makefile_defs),1) -