diff --git a/version b/version
index 9704ebcf6..3b34d2294 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-v1.7.2-rc2
+v1.7.2