--- a/.hgtags Fri Jan 31 23:34:50 2020 +0100
+++ b/.hgtags Sat Jun 06 01:50:42 2020 +0200
@@ -6,3 +6,4 @@
c4cc103ae0ed03fe6e883aa19f6e016e741bc02c v0.13
3cc1b9be97bcab7228be755e551997fc30fa482c v0.14
029e302788b61ffe5b23fc6d8cafd95129c494f4 v0.15
+76c6ffcc40f950d1eef1a3bc43c00c0820577ae7 v0.16