--- a/.hgtags	Tue Oct 20 23:48:52 2020 +0200
+++ b/.hgtags	Sat Oct 24 00:08:19 2020 +0200
@@ -8,3 +8,4 @@
 3aeea4e869a1f6e9950402eb80f4139e8be89e23 v0.15
 18e36b8c7457e5a21542c4d8687187d878280fd6 v0.16
 407bdac5a71d278a6f400c3301fa7ddda2666b5d v0.17
+7aabff5e0e5775042cf92944bc733800423123e0 v0.17.1