From 090a9503608bbc5f4c33d28f6f1ad8b9a49e9970 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jf@dockes.org>
Date: Mon, 4 Feb 2019 17:58:40 +0100
Subject: [PATCH] bumped version to 1.25.2

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

diff --git a/src/VERSION b/src/VERSION
index d905a6d1..61b813d5 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.25.1
+1.25.2