Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index 889542039b7e9bbebe774b14c3f2d776f95bf468..2fdb080fb569036aa0cbc6a1ebf0eb0d1c4f1f30 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=17
 PATCH_LEVEL=25
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.16.2
-VERSION_DEVEL=2.17.24
+VERSION_DEVEL=2.17.25