diff -r 146a0deffad8 -r 1adc0ffda366 .hgtags --- a/.hgtags Thu Apr 12 11:43:16 2018 +0200 +++ b/.hgtags Fri Apr 27 11:59:18 2018 +0200 @@ -14,3 +14,4 @@ d702d2bf095a840135620dbd8ec877b0f3c34a2d 0.1.11 417296f4bfab831c918720a17737e30cda2bd933 0.1.12 aedd98145b972474f1d68a6fa87653faaf4f7ea3 0.1.13 +f7e43a680f4221fc00ca3c8ed779e772a46961d1 0.1.14