Release: bump VERSION.

diff --git a/VERSION b/VERSION
index 98fe5b66bb403bad6b18ae2d69b84da90897dcae..2db7fe3c6df2bc7364429222ec1288e9767d2fca 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.96
+VERSION_DEVEL=2.17.97