Browse code

Makefile.defs: version set to 5.1.7

Daniel-Constantin Mierla authored on 31/01/2019 09:24:10
Showing 1 changed files
... ...
@@ -106,7 +106,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
106 106
 # version number
107 107
 VERSION = 5
108 108
 PATCHLEVEL = 1
109
-SUBLEVEL = 6
109
+SUBLEVEL = 7
110 110
 EXTRAVERSION =
111 111
 
112 112
 # memory manager switcher