--- a/.hgtags Tue Oct 20 23:48:52 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:19 2020 +0200
@@ -6,3 +6,4 @@
3ce384eaad5c3aeea938153236f8268a0ab27499 v0.15
f5da43cd9185f157cd865324f03a55b0749b7d94 v0.16
e87c231afb77f2732e367672557af12619eb9c6f v0.17
+6a16b36ab852cba80a1020dd72471acbef648a01 v0.17.1