From 88c9ff193526558a3eacecf1f8dee602fe6713d7 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jf@dockes.org>
Date: Sun, 28 Apr 2019 17:51:07 +0200
Subject: [PATCH] bumped version to 1.25.15

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

diff --git a/src/VERSION b/src/VERSION
index d7b1d35c..efceb7db 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.25.14
+1.25.15