From 7341920338028e72ed596e2c5dbd749b3bc9e532 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Tue, 28 Dec 2010 12:15:01 +0100 Subject: [PATCH] Added tag 0.7.2 for changeset 25a675190b31 --- .hgtags | 1 + 1 file changed, 1 insertion(+) diff --git a/.hgtags b/.hgtags index c7358b54..e8623b5c 100644 --- a/.hgtags +++ b/.hgtags @@ -24,3 +24,4 @@ e51c0a0d740b3b2d14242254f80224dec167ed30 0.6.1 fe0d022c4236d29eabbb0bf98835e6589635220d 0.6.2 4a202e7ed15568fa0404875c9f66b86d3c09858a 0.7.0 6b51cd806257e8b6925730c13d2ff62d8d19dc98 0.7.1 +25a675190b31dcb94301d1c9853a378315f26b0a 0.7.2