diff -r e13ca0f85ac4 -r 4a135b8408d2 .hgtags --- a/.hgtags Fri Oct 05 15:11:28 2018 +0200 +++ b/.hgtags Fri Oct 05 15:11:29 2018 +0200 @@ -14,3 +14,4 @@ fbbcbd3265701b6db78b368397d5bba8a64ca344 0.1.13 b80aaca1b2725029f288258c96a9994ad86da652 0.1.14 d274d856e6dfec2a00452051ab6574647af0b4e2 0.1.15 +e13ca0f85ac4c956b0671663dce4dd07892e0220 0.1.16