release-0.7.2 tag

diff --git a/.hgtags b/.hgtags
index 34711d3d33b551e688d456834c9eb5b5f66e9644..211213640f27fc2236c3c2c5fb37141144b9c315 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -188,3 +188,4 @@ eb2bd21dc8d03f6c94016f04ffb9adaf83a2b606 release-0.6.29
 d4288915bba73c4c3c9cf5d39d34e86879eb2b45 release-0.6.31
 0a189588830b8629c4dfea68feb49af36b59e4a9 release-0.7.0
 6ab27a06f3346cf9ec8737f5dbcc82dd4031e30f release-0.7.1
+a07e258cef3b0a0b6e76a6ff4ba4651c5facc85a release-0.7.2