diff -r e2a747608ef6 -r 0579aa165856 .hgtags --- a/.hgtags Wed Jun 27 13:20:37 2018 +0200 +++ b/.hgtags Thu Jun 28 12:01:52 2018 +0200 @@ -16,3 +16,4 @@ aedd98145b972474f1d68a6fa87653faaf4f7ea3 0.1.13 f7e43a680f4221fc00ca3c8ed779e772a46961d1 0.1.14 0b5f84d9eff4d94ae88078b157148fbda6aa7a58 0.1.15 +7c71a08ff11106dfca8543d498b5fd915ce227a7 0.1.16