--- a/.hgtags	Tue Oct 20 23:48:52 2020 +0200
+++ b/.hgtags	Sat Oct 24 00:08:18 2020 +0200
@@ -8,3 +8,4 @@
 140dd584af24579d52408eb971a78676a640f25c v0.15
 c4ed84bba6dc2883bb926e6e0ca1dd79714ce79d v0.16
 7087bcea5abb103e59a0581af75820af7bcd152d v0.17
+ff7aaa2eecc2ad1250981ad8be99706583068ebe v0.17.1