update VERSION.

diff --git a/VERSION b/VERSION
index da82b403e63f1b72087ca5b980194fdcf4299897..9c666b408c27d09ff06305488912dbf350877421 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -4,4 +4,4 @@ MINOR_VERSION=15
 PATCH_LEVEL=0
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.12.3
-VERSION_DEVEL=2.13.62
+VERSION_DEVEL=2.13.63