Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index e3e8fe6c33cf530d9022b3d9dd99035b887c7e73..d9b9479e7d5c9e54b68181aac1867bf5d47904bd 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=17
 PATCH_LEVEL=24
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.16.2
-VERSION_DEVEL=2.17.23
+VERSION_DEVEL=2.17.24