From 01f80cb9615795dcc4ea783e6362c7f6f7985149 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jf@dockes.org>
Date: Thu, 7 Mar 2019 13:59:02 +0100
Subject: [PATCH] version

---
 src/VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/VERSION b/src/VERSION
index 26a9e99b..b45fe310 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.25.4
+1.25.5