diff -r 51d83d0572ec -r b22fb41be2fb .hgtags
--- a/.hgtags	Mon Jul 13 21:56:53 2009 +0200
+++ b/.hgtags	Mon Jul 13 21:57:10 2009 +0200
@@ -7,3 +7,4 @@
 c17b671e5657cc5e8ae5011726c3bb830119b0dd v0-5-20090706
 4db295c3fbb3504651a1daae77e494e3bb046d86 v0-5-20090711
 03aa33e8600bb1f9100139ecc6030c20b98f1dd3 v0-5-20090711p1
+51d83d0572ecb0fb223d4b5b3e7e9f31ec75a04d v0-5-20090713