--- a/.hgtags Tue Oct 20 23:48:50 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:17 2020 +0200
@@ -8,3 +8,4 @@
5a63bf594f53071c098ed1993498241d3f013075 v0.15
288a7f075777378648f44a0f9e87dbecd1996a6d v0.16
fd7b3e510dd987f5df7dc104b0841dee10e6f1b9 v0.17
+5f7ef44ea5bbd7a7c57a90a3f14b204d4a39e4ec v0.17.1