Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index e2867ac71cac4a1c81c8093519f22c08cfb56bf5..43aa6e5e576b72ae013cf8ab1c98ac47ee8e7e60 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=17
 PATCH_LEVEL=96
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.16.2
-VERSION_DEVEL=2.17.95
+VERSION_DEVEL=2.17.96