diff -r 351dc2687062 -r 46e2b4ef85a4 .hgtags
--- a/.hgtags	Thu May 09 23:25:29 2013 +0200
+++ b/.hgtags	Mon Sep 09 06:08:00 2013 +0200
@@ -9,3 +9,4 @@
 6792dc0bafb9c76a099e45bfc9e967d6a2823827 release-0.7
 623816269b75e53fffb4b19960df7040a3c20056 release-0.7
 23572dc719bd630817d11eaabdee4565f63ef8e1 release-0.7.1
+56abd247f421febd8b2c5e59d666968692e11555 release-0.7.2