--- a/.hgtags	Fri Jan 31 23:34:54 2020 +0100
+++ b/.hgtags	Sat Jun 06 01:50:45 2020 +0200
@@ -6,3 +6,4 @@
 a384c8cfa2b57440584cd273ae3be4a3bd5d84cb v0.13
 cabd0f80a34b6193a6fd01c7d212c22f98bd55eb v0.14
 59d39db44970d7d9c1c82095f1cdd4f4c9242e1b v0.15
+72a718c3f610d1710989c54fa8f08c7bf15fa983 v0.16