--- a/.hgtags	Sun Jul 12 00:45:45 2009 +0200
+++ b/.hgtags	Sun Jul 12 12:50:01 2009 +0200
@@ -6,4 +6,4 @@
 c7726e3ab1736237df0818aa57e5825e161b29c5 v0-5-20090705p1
 c17b671e5657cc5e8ae5011726c3bb830119b0dd v0-5-20090706
 4db295c3fbb3504651a1daae77e494e3bb046d86 v0-5-20090711
-03aa33e8600bb1f9100139ecc6030c20b98f1dd3 0-5-20090711p1
+03aa33e8600bb1f9100139ecc6030c20b98f1dd3 v0-5-20090711p1