From bf385c8886f2456b395681d513059ed68338a298 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jf@dockes.org>
Date: Tue, 19 Feb 2019 21:01:35 +0100
Subject: [PATCH] bumped version to 1.25.4

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

diff --git a/src/VERSION b/src/VERSION
index 5bb76b57..26a9e99b 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.25.3
+1.25.4