Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index ebce7aa4e9fa27733606261a0659c408d5accac4..8202b31377c32867e84f63c6aa037518ec69555a 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=19
 PATCH_LEVEL=5
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.18.2
-VERSION_DEVEL=2.19.4
+VERSION_DEVEL=2.19.5