New release

diff --git a/RELEASE b/RELEASE
index b6a7d89c68e0ca66e96a9a51892cc33db66fb8a3..98d9bcb75a685dfbfd60f611c309410152935b3d 100644 (file)
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-16
+17

diff --git a/VERSION b/VERSION
index 0cb8b30dafe029289d3ac92175c1115606de7844..a39cbb3ccbbe88888b2fcfbec76a56c261e47a4b 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.2.4.0
+1.2.40