Makefile.defs: version set to 5.0.0-dev9

src/Makefile.defs

@@ -107,7 +107,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
 VERSION = 5
 PATCHLEVEL = 0
 SUBLEVEL =  0
-EXTRAVERSION = -dev8
+EXTRAVERSION = -dev9
 
 # memory manager switcher
 # 0 - f_malloc (fast malloc)