--- a/.hgtags	Thu Jun 28 08:39:50 2018 +0200
+++ b/.hgtags	Thu Jun 28 08:39:51 2018 +0200
@@ -12,3 +12,4 @@
 18b4d0d151d8ed87972e85369216c4adf550bfb9 0.1.11
 9fc58280af9e88f2aaad08bc4b6e7c70da6df7dc 0.1.12
 fbbcbd3265701b6db78b368397d5bba8a64ca344 0.1.13
+b80aaca1b2725029f288258c96a9994ad86da652 0.1.14