diff --git a/product.version b/product.version
index d69c06dee..f8a696c8d 100644
--- a/product.version
+++ b/product.version
@@ -1 +1 @@
-1.7.2-dev
+1.7.2
diff --git a/tools/buildbot/build_type b/tools/buildbot/build_type
index 38f8e886e..17640be70 100644
--- a/tools/buildbot/build_type
+++ b/tools/buildbot/build_type
@@ -1 +1 @@
-dev
+rel