Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index ecbf6bbdf58391fa6c9d7cce07d46293ad7a3bc0..6d107876574c8ade73f90160e14c7e92d0b49018 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=17
 PATCH_LEVEL=23
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.16.2
-VERSION_DEVEL=2.17.22
+VERSION_DEVEL=2.17.23