Merge "bump the release to 1.7.2"

diff --git a/version.properties b/version.properties
index 4bdcfa1..f56901f 100644 (file)
--- a/version.properties
+++ b/version.properties
@@ -4,7 +4,7 @@
 
 major=1
 minor=7
-patch=1
+patch=2
 
 base_version=${major}.${minor}.${patch}