--- 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