New release

diff --git a/RELEASE b/RELEASE
index c227083464fb9af8955c90d2924774ee50abb547..d00491fd7e5bb6fa28c517a0bb32b8b506539d4d 100644 (file)
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-0
\ No newline at end of file
+1

diff --git a/VERSION b/VERSION
index 056436d375319ec50dd920778a8711af88ec50fb..40cf1eb32f267df23607a663de4f50450ef47a51 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-VERSION THIS MUST BE ADAPTED
\ No newline at end of file
+14.2.760