diff -r 7c71a08ff111 -r 03c69e5c959b .hgtags --- a/.hgtags Thu Jun 28 08:35:02 2018 +0200 +++ b/.hgtags Thu Jun 28 08:35:02 2018 +0200 @@ -16,3 +16,4 @@ aedd98145b972474f1d68a6fa87653faaf4f7ea3 0.1.13 f7e43a680f4221fc00ca3c8ed779e772a46961d1 0.1.14 0b5f84d9eff4d94ae88078b157148fbda6aa7a58 0.1.15 +7c71a08ff11106dfca8543d498b5fd915ce227a7 0.1.16