diff -r b80aaca1b272 -r 4146dbce4034 .hgtags --- 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