--- a/.hgtags Tue Oct 20 23:48:53 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:19 2020 +0200
@@ -8,3 +8,4 @@
59d39db44970d7d9c1c82095f1cdd4f4c9242e1b v0.15
72a718c3f610d1710989c54fa8f08c7bf15fa983 v0.16
30f52cc3202c3c8202ea965c6c5050527e62cb80 v0.17
+13860c7023b75f23deaeaa8b9c1f56dfd69b1ef3 v0.17.1