--- a/.hgtags Fri Jun 05 18:26:27 2020 +0200
+++ b/.hgtags Sat Jun 06 01:50:45 2020 +0200
@@ -1,3 +1,4 @@
3e076cc76c899c993b9e151416de6b772b43d27b v0.13
0cfba89d56910b8fb969c8c0ab9c024585fd8b55 v0.14
629565ff82d398461afba09426d522d3fdfdaadf v0.15
+1d17192565bf272e22b7beb1f99dc4e2403d07e2 v0.16