Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index 6d441f9290f39493f1ca1798980643f17b62c0af..a83b5636ca98b5df29dbe86e67594874841240b3 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=17
 PATCH_LEVEL=26
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.16.2
-VERSION_DEVEL=2.17.25
+VERSION_DEVEL=2.17.26