diff --git a/.gitignore b/.gitignore
index 539e898..378fac5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,4 +12,3 @@ scripts/config.status
 *~
 *.log
 UPDATE_ME
-VERSION
diff --git a/VERSION b/VERSION
index 7a5f358..66f274e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.5.117
+1.5.139