diff -r 193170ce4f55 -r 84ed729e8983 .hgtags
--- a/.hgtags	Fri Jan 31 23:34:52 2020 +0100
+++ b/.hgtags	Sat Jun 06 01:50:44 2020 +0200
@@ -6,3 +6,4 @@
 7464556ac035c7e19e7ce0ae27a7de317f4fa6fb v0.13
 3ea2a5a2553180cc1c132fa451052e12b99d1a06 v0.14
 5d597eb0d29016d1ad14bbfa0a4a512a738a7d24 v0.15
+193170ce4f5553d739d2c239818ae7e1a96bf0a0 v0.16