--- a/.hgtags	Fri Aug 24 13:12:16 2012 +0200
+++ b/.hgtags	Fri Aug 24 13:16:25 2012 +0200
@@ -13,3 +13,4 @@
 a07154cf26c5b737e7c403527a7bb7378a18e021 V00.10
 9e7ce5daebcf07fe267d2094cef3179d80096055 V00.11
 6abcdd06d7687bfa011958f822d97262bd4a09b7 V00.12
+75fb1d1aa426c84ac9f284eceb9c5424dc16129f V00.13