Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index a7174eb13775fdd6a585a636dc9c9bc9a5426293..d4e2df65ae0031629f775566242e01dc61e732b9 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=17
 PATCH_LEVEL=30
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.16.2
-VERSION_DEVEL=2.17.29
+VERSION_DEVEL=2.17.95