--- a/.hgtags Fri Jan 31 23:34:51 2020 +0100
+++ b/.hgtags Sat Jun 06 01:50:43 2020 +0200
@@ -6,3 +6,4 @@
3af6a4418a2023fcd932a0ca80060b350670acd9 v0.13
177321664baf2b7c1b8e80423b81147df01c6c65 v0.14
5e1db0d214f519b60bee0a9338eed35008bb568b v0.15
+e8ef0cca4268d1f929eef3f5c16841ee685f2e38 v0.16