--- a/.hgtags	Fri Jan 31 23:34:53 2020 +0100
+++ b/.hgtags	Sat Jun 06 01:50:45 2020 +0200
@@ -6,3 +6,4 @@
 e0674e028bd047feaf544d86dee39ae83bf77dde v0.13
 5105357e9b475364c5ea01bdb3d97b295c0bdefd v0.14
 05fd16bcff3d21ae8aa43ceccee0ffb4d675367f v0.15
+9c2cf0bf3eeb22501bb426784c099688ff906a6e v0.16