release-1.7.2 tag
diff --git a/.hgtags b/.hgtags index 64a33bd..eee9717 100644 --- a/.hgtags +++ b/.hgtags
@@ -371,3 +371,4 @@ fd722b890eabc600394349730a093f50dac31639 release-1.5.13 d161d68df8be32e5cbf72b07db1a707714827803 release-1.7.0 0351a6d89c3dbcc7a76295024ba6b70e27b9a497 release-1.7.1 +0bd223a546192fdf2e862f33938f4ec2a3b5b283 release-1.7.2