Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index 004381f83ef5693d7aad89e18c3f0d2d4028e3dc..9c00dfd833e8f9547343288528b82ae120219b7f 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=19
 PATCH_LEVEL=56
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.18.2
-VERSION_DEVEL=2.19.55
+VERSION_DEVEL=2.19.56