Skip to content

Commit

Permalink
Makefile.defs: version set to 5.3.1
Browse files Browse the repository at this point in the history
  • Loading branch information
@miconda
miconda committed Nov 14, 2019
1 parent e6a359b commit b18203a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Makefile.defs
View file
Expand Up @@ -106,7 +106,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
# version number
VERSION = 5
PATCHLEVEL = 3
SUBLEVEL = 0
SUBLEVEL = 1
EXTRAVERSION =

# memory manager switcher
Expand Down

0 comments on commit b18203a

Please sign in to comment.