--- a/.hgtags Tue Oct 20 23:48:51 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:18 2020 +0200
@@ -7,3 +7,4 @@
9b926b6907b0b833b7668ba85f1b4991c511c9aa v0.15
7a8859067c330d24bd8bb6e70d0b521b2e770ff1 v0.16
a7596589a5b06263f0cbf240c82f3604f5b6aa27 v0.17
+fb0099a20482bdd6df46e44c889231c7ff55c0ae v0.17.1