diff -r c33bb7db854d -r d769845a49b3 .hgtags
--- 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