1 files changed, 1 insertions, 0 deletions

diff --git a/.hgtags b/.hgtags
index 34711d3d3..211213640 100644
--- 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