--- a/.hgtags	Tue Oct 20 23:48:51 2020 +0200
+++ b/.hgtags	Sat Oct 24 00:08:18 2020 +0200
@@ -8,3 +8,4 @@
 77fbaccdeea422d1a0227f2eff6ec591e1219ce2 v0.15
 283700190338286e08555339ab6f902298568074 v0.16
 cf0ebb7dfacab882f7833259cf00d3e0db9734c9 v0.17
+753b56ba97a7b1faf2dcd87323f6d3565b85297f v0.17.1