--- a/.hgtags Fri Jan 31 23:34:50 2020 +0100
+++ b/.hgtags Sat Jun 06 01:50:42 2020 +0200
@@ -6,3 +6,4 @@
31e7f1994b123dcc31cb27322f7cd74bfc289f65 v0.13
3f47b43e528dc89f6b6da4bb59c0af3c627ba11f v0.14
5a63bf594f53071c098ed1993498241d3f013075 v0.15
+288a7f075777378648f44a0f9e87dbecd1996a6d v0.16