From a3dca980d945c3aab4dba8226b91dc92edea2321 Mon Sep 17 00:00:00 2001 From: Daniel-Constantin Mierla Date: Thu, 14 Feb 2019 09:35:16 +0100 Subject: [PATCH] Makefile.defs: version set to 5.3.0-dev3 --- src/Makefile.defs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile.defs b/src/Makefile.defs index 4ea09037d59..a4c2064908f 100644 --- a/src/Makefile.defs +++ b/src/Makefile.defs @@ -107,7 +107,7 @@ INSTALL_FLAVOUR=$(FLAVOUR) VERSION = 5 PATCHLEVEL = 3 SUBLEVEL = 0 -EXTRAVERSION = -dev2 +EXTRAVERSION = -dev3 # memory manager switcher # 0 - f_malloc (fast malloc)