diff -r a96af8e8f660 -r 22600cde367c .hgtags
--- a/.hgtags	Tue Sep 01 18:32:56 2015 +0200
+++ b/.hgtags	Tue Sep 01 18:33:04 2015 +0200
@@ -18,3 +18,4 @@
 80abd18d84d10ddb786473f20aaae58498795b80 00.00.10
 530ddc8219562878681895aa1cb6ee1a95c4aa48 00.00.11
 975c6a1fa0b8a9d75bb1e309a1473703743311af 00.00.12
+a96af8e8f660cc35f06c695e7548b440cb0daf6f 00.00.13