Skip to content

Commit

Permalink
Makefile.defs: version set to 5.7.0-dev1
Browse files Browse the repository at this point in the history
  • Loading branch information
miconda committed Aug 17, 2022
1 parent 06f933a commit edde9cd
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 = 7
SUBLEVEL = 0
EXTRAVERSION = -dev0
EXTRAVERSION = -dev1

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

0 comments on commit edde9cd

Please sign in to comment.