From 4ba6692343efa1e0a56daae9bfbc20ff645a3e59 Mon Sep 17 00:00:00 2001
From: Daniel-Constantin Mierla <miconda@gmail.com>
Date: Wed, 22 Aug 2018 11:11:38 +0200
Subject: [PATCH] Makefile.defs: version set to 5.1.5

---
 src/Makefile.defs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile.defs b/src/Makefile.defs
index 9b809b8bfa3..6cf372786df 100644
--- a/src/Makefile.defs
+++ b/src/Makefile.defs
@@ -106,7 +106,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
 # version number
 VERSION = 5
 PATCHLEVEL = 1
-SUBLEVEL = 4
+SUBLEVEL = 5
 EXTRAVERSION =
 
 # memory manager switcher