--- a/.hgtags Tue Oct 20 23:48:50 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:17 2020 +0200
@@ -8,3 +8,4 @@
029e302788b61ffe5b23fc6d8cafd95129c494f4 v0.15
76c6ffcc40f950d1eef1a3bc43c00c0820577ae7 v0.16
e5a3b0c7828bb82b8ab9f6e26f499b01bfe49f29 v0.17
+7cc7ff18a4aac66eacdc806f3faa4cedfc40c002 v0.17.1