--- a/.hgtags Fri Jan 31 23:34:51 2020 +0100
+++ b/.hgtags Sat Jun 06 01:50:43 2020 +0200
@@ -6,3 +6,4 @@
7197f6c3d6b45e3625ea496d255a27db49c9af34 v0.13
45d60cf711e17e55f903d3b5bd75e13ff0cb786a v0.14
1877098fb54836f9d8464d61fe760ba4295f2e80 v0.15
+e9984e8fa0076bf1e8ca5dc407b8a91092c8b0a7 v0.16