diff -r 024d0245fdba -r a5df7c8da65c .hgtags
--- a/.hgtags	Fri May 25 13:23:21 2012 +0200
+++ b/.hgtags	Fri May 25 13:23:34 2012 +0200
@@ -10,3 +10,5 @@
 cc71ef751094a99610f8cdc6f21211127f3e5d9f V00.11
 cc71ef751094a99610f8cdc6f21211127f3e5d9f V00.11
 276320847dfd9bd0f55095a212527664759a5110 V00.11
+276320847dfd9bd0f55095a212527664759a5110 V00.11
+024d0245fdbafa49f751719817ae36506a372b73 V00.11