--- a/.hgtags	Mon Jul 12 12:01:22 2010 +0200
+++ b/.hgtags	Mon Jul 12 12:03:31 2010 +0200
@@ -11,3 +11,5 @@
 f214cc7853d166404535d079f3dda373c3a6356f V00.07
 8dbd741e3da69623d10858668a708cb5c64fc610 V00.08
 d7c9feca322094d1f81df61d424e04d84f4484da V00.09
+d7c9feca322094d1f81df61d424e04d84f4484da V00.09
+3a3c15c462f8ccb85c4be9944417368968446a6e V00.09