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