Release: bump VERSION.

diff --git a/VERSION b/VERSION
index 1d22771324064102ee597b3b585d0c4dc9e44c6d..98fe5b66bb403bad6b18ae2d69b84da90897dcae 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=19
 PATCH_LEVEL=0
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.16.2
-VERSION_DEVEL=2.17.95
+VERSION_DEVEL=2.17.96