Skip to content

Commit

Permalink
Makefile.defs: version set to 5.5.0-dev1
Browse files Browse the repository at this point in the history
  • Loading branch information
miconda committed Jul 17, 2020
1 parent c3962ff commit 18e4b6b
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 = -dev0
EXTRAVERSION = -dev1

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

0 comments on commit 18e4b6b

Please sign in to comment.