Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index b1d360113ed623ebd3de631147d7fbfbbe6017dc..5b979f05805303dff0af981ecb177b43d267c3d5 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=19
 PATCH_LEVEL=15
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.18.2
-VERSION_DEVEL=2.19.14
+VERSION_DEVEL=2.19.15