--- a/.hgtags Sat Jun 06 01:50:45 2020 +0200
+++ b/.hgtags Tue Oct 20 23:48:53 2020 +0200
@@ -2,3 +2,4 @@
0cfba89d56910b8fb969c8c0ab9c024585fd8b55 v0.14
629565ff82d398461afba09426d522d3fdfdaadf v0.15
1d17192565bf272e22b7beb1f99dc4e2403d07e2 v0.16
+bb3268f87e258bce10cff717de40b271e5c20a17 v0.17