--- a/.hgtags Tue Oct 20 23:48:50 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:17 2020 +0200
@@ -8,3 +8,4 @@
6d58ee679c37560d864d60ad4de2aa269427176d v0.15
fee57dccdc81707f930e188297237f3c2f334d4e v0.16
15ee963675aff11e2465ff77dcb0ede523358447 v0.17
+f2dfd6dc18172975555e1ee3f106d56e8825cd27 v0.17.1