GitList
Browse code

Makefile.defs: version set to 5.3.5

Daniel-Constantin Mierla authored on 22/06/2020 09:46:19
Showing 1 changed files
src/Makefile.defs
History View file @ d8e36aeb0c
... ... 
@@ -106,7 +106,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
106 106 
 # version number
107 107 
 VERSION = 5
108 108 
 PATCHLEVEL = 3
109 
-SUBLEVEL = 4
109 
+SUBLEVEL = 5
110 110 
 EXTRAVERSION =
111 111
112 112 
 # memory manager switcher