From 832118397f710479db8ed3c7ca84fb9de4a13716 Mon Sep 17 00:00:00 2001
From: Daniel-Constantin Mierla <miconda@gmail.com>
Date: Tue, 19 May 2015 15:24:02 +0200
Subject: [PATCH] Makefile.defs: version set to 4.2.5

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

diff --git a/Makefile.defs b/Makefile.defs
index 2a7d4031e9c..8d7fb343b7a 100644
--- a/Makefile.defs
+++ b/Makefile.defs
@@ -164,7 +164,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
 # version number
 VERSION = 4
 PATCHLEVEL = 2
-SUBLEVEL = 4
+SUBLEVEL = 5
 EXTRAVERSION =
 
 # memory manager switcher