--- a/.hgtags Fri Jan 31 23:34:52 2020 +0100
+++ b/.hgtags Sat Jun 06 01:50:44 2020 +0200
@@ -5,3 +5,4 @@
fdc91bd0c507c279808a71e6fe464567bd6a6fa0 v0.13
4bcf3fb7cc48102f676906e57d9414349a0ee984 v0.14
9b926b6907b0b833b7668ba85f1b4991c511c9aa v0.15
+7a8859067c330d24bd8bb6e70d0b521b2e770ff1 v0.16