Skip to content

Commit

Permalink
Makefile.defs: version set to 5.1.0-dev0
Browse files Browse the repository at this point in the history
- development for future release series 5.1.x is open
  • Loading branch information
miconda committed Feb 9, 2017
1 parent 6d1f8b2 commit 41b73d7
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/Makefile.defs
Expand Up @@ -105,9 +105,9 @@ INSTALL_FLAVOUR=$(FLAVOUR)

# version number
VERSION = 5
PATCHLEVEL = 0
PATCHLEVEL = 1
SUBLEVEL = 0
EXTRAVERSION = -pre2
EXTRAVERSION = -dev0

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

0 comments on commit 41b73d7

Please sign in to comment.