Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index 980df5a24241b958ee12015cd1834f9b5409ca1b..4b2f6ba303c8eaddbac20f9a7be3ef0f6f9d56ea 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=19
 PATCH_LEVEL=9
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.18.2
-VERSION_DEVEL=2.19.8
+VERSION_DEVEL=2.19.9