--- a/.hgtags Tue Oct 20 23:48:52 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:18 2020 +0200
@@ -8,3 +8,4 @@
5d597eb0d29016d1ad14bbfa0a4a512a738a7d24 v0.15
193170ce4f5553d739d2c239818ae7e1a96bf0a0 v0.16
84ed729e89838d0cfaf70ebc2e18117a5c66ae50 v0.17
+eeafd6425ff153059def65fc485f36b70ecab12d v0.17.1