--- a/.hgtags	Thu Jul 19 16:05:48 2012 +0200
+++ b/.hgtags	Thu Jul 19 16:06:40 2012 +0200
@@ -12,3 +12,4 @@
 a6d1b0e75fe627d9df55697f9fca5ecaef0ea6f3 V00.10
 a07154cf26c5b737e7c403527a7bb7378a18e021 V00.10
 9e7ce5daebcf07fe267d2094cef3179d80096055 V00.11
+6abcdd06d7687bfa011958f822d97262bd4a09b7 V00.12