Added tag 0.7.2 for changeset 3dd315b80bab

diff --git a/.hgtags b/.hgtags
index 715482a93e13c09e1c89bbc87d5902e731d0d87f..f39416011c0bb441c5fd71520a3d9f424251dbe8 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -47,3 +47,4 @@ e5de01378b1a8ab0a94dd3a8c4c6bb7a235f4b9c 0.5.2
 dfba7f61745c7454ffdd55303a793206d0a9a84a 0.6.2
 8418bd4a4ce3114d57b4d75f913e8c4912bf4b5d 0.7.0
 35aca5cc5ea7582b80947caa1e3f4a4fb8ee232d 0.7.1
+3dd315b80bab10b6ac475ee25dd207d2eb759881 0.7.2