--- a/.hgtags Fri Jan 31 23:34:52 2020 +0100
+++ b/.hgtags Sat Jun 06 01:50:44 2020 +0200
@@ -1,3 +1,4 @@
f28025ce355dd5fc1af907181317468bb6048461 v0.13
bca03092cdb653f019409ae18b0ac267090feae9 v0.14
b2c40d783699baff11e3a140551e178626d52f13 v0.15
+c33bb7db854d0d3471fa09f440d728d9b236710f v0.16