Release: bump VERSION_DEVEL.

diff --git a/VERSION b/VERSION
index de031165f0e3616356e5d0cf2e68e9559c1748ab..3fe728dab99e3941e0c5f0c8ab86e77e3dd7f57a 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -3,5 +3,5 @@ MAJOR_VERSION=2
 MINOR_VERSION=18
 PATCH_LEVEL=2
 MY_PATCH_LEVEL=
-VERSION_STABLE=2.18.0
-VERSION_DEVEL=2.19.2
+VERSION_STABLE=2.18.2
+VERSION_DEVEL=2.19.3