--- a/.hgtags	Mon Jun 11 16:06:48 2018 +0200
+++ b/.hgtags	Mon Jun 11 16:06:48 2018 +0200
@@ -11,3 +11,4 @@
 1ad40ab71077b3f09dbe67fb710476021ac9b65e 0.1.10
 18b4d0d151d8ed87972e85369216c4adf550bfb9 0.1.11
 9fc58280af9e88f2aaad08bc4b6e7c70da6df7dc 0.1.12
+fbbcbd3265701b6db78b368397d5bba8a64ca344 0.1.13