Makefile.defs: version set to 5.2.0-dev9

- end of development for 5.2.x release series

src/Makefile.defs

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