Skip to content

Commit

Permalink
Makefile.defs: version set to 5.5.0-dev3
Browse files Browse the repository at this point in the history
  • Loading branch information
miconda committed Oct 19, 2020
1 parent 79db275 commit b385a0d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Makefile.defs
Expand Up @@ -107,7 +107,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
VERSION = 5
PATCHLEVEL = 5
SUBLEVEL = 0
EXTRAVERSION = -dev2
EXTRAVERSION = -dev3

# memory manager switcher
# 0 - f_malloc (fast malloc)
Expand Down

0 comments on commit b385a0d

Please sign in to comment.