--- a/.hgtags Tue Oct 20 23:48:52 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:19 2020 +0200
@@ -8,3 +8,4 @@
6edbaadbc8529832477ccb57961b831f00cb49a2 v0.15
b160046f5f24617444adb83de8d55fb19d392259 v0.16
47c0858c48183acaf143fb6d835678bc84310e68 v0.17
+24ba58740fdecaf71c2f8663cb89736888c234b1 v0.17.1