1 files changed, 1 insertions, 1 deletions

diff --git a/VERSION b/VERSION
index 21c8c7b..a8a1887 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-7.1.1
+7.1.2