--- a/.hgtags	Mon Jul 16 18:17:21 2012 +0200
+++ b/.hgtags	Tue Jul 17 10:24:12 2012 +0200
@@ -9,3 +9,5 @@
 db5efc0fec8d6574d9a8bb5731919e2c28824d39 V00.07
 38ee151428dcda6ec37292d0f8b20121202b9473 V00.08
 a6d1b0e75fe627d9df55697f9fca5ecaef0ea6f3 V00.10
+a6d1b0e75fe627d9df55697f9fca5ecaef0ea6f3 V00.10
+a07154cf26c5b737e7c403527a7bb7378a18e021 V00.10