diff --git a/version_latest.txt b/version_latest.txt
index a3fcc7121bba..a8a188756826 100644
--- a/version_latest.txt
+++ b/version_latest.txt
@@ -1 +1 @@
-7.1.0
+7.1.2