Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index 2f424f76a7fcdc917a089387957735ab8b0a6283..d16c4b7c6179336390f173384f5e6fe29e16924f 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=19
 PATCH_LEVEL=63
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.18.2
-VERSION_DEVEL=2.19.62
+VERSION_DEVEL=2.19.63