Update versioning for 1.7.2 release.

2025-12-06 18:08:36 +00:00 · 2015-05-30 08:06:23 -04:00 · 2015-05-30 08:06:23 -04:00 · 18f8d10f10
commit 18f8d10f10
parent a626005cc6
2 changed files with 2 additions and 2 deletions
--- a/product.version
+++ b/product.version
@ -1 +1 @@
-1.7.2-dev
+1.7.2
--- a/tools/buildbot/build_type
+++ b/tools/buildbot/build_type
@ -1 +1 @@
-dev
+rel