--- a/.hgtags	Tue Oct 23 12:11:45 2018 +0200
+++ b/.hgtags	Tue Oct 23 12:11:46 2018 +0200
@@ -13,3 +13,4 @@
 cec5c70cfd1cfc4d03af2b3f2230299fb91e46dc 0.1.10
 671d1bb41699a2eb98df39d373ab11461543da53 0.1.11
 4d9e04453c06ab93b230042958dc759c4d80e7be 0.1.12
+6f8fdaa85ee85e8ede0541d87986e0e2a325f6a7 0.1.13