release-1.7.2 tag

diff --git a/.hgtags b/.hgtags
index 64a33bdf9a2ab052d3f935320f10e0dd31781f32..eee9717e237ce1eb6e2d79a377188e93d63a6444 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -371,3 +371,4 @@ f995a10d4c7e9a817157a6ce7b753297ad32897e release-1.5.11
 fd722b890eabc600394349730a093f50dac31639 release-1.5.13
 d161d68df8be32e5cbf72b07db1a707714827803 release-1.7.0
 0351a6d89c3dbcc7a76295024ba6b70e27b9a497 release-1.7.1
+0bd223a546192fdf2e862f33938f4ec2a3b5b283 release-1.7.2