diff -r 4ccab974a4c1 -r 0b710028f3d3 .hgtags
--- a/.hgtags	Mon Aug 26 13:05:54 2013 +0200
+++ b/.hgtags	Mon Aug 26 13:06:12 2013 +0200
@@ -12,3 +12,4 @@
 b62a08b1e993032f38230d266e758f1d22042ec2 V00.10
 b4f0fee1ac5ae40e9a03d4f2765de2a66d64c9ff V00.11
 a3246ca92f73dd693c505bd44efb398d3ef9c1d3 V00.12
+4ccab974a4c17e991d04923e40dac0fbcd4b796a V00.13