--- a/.hgtags	Tue Oct 20 23:48:51 2020 +0200
+++ b/.hgtags	Sat Oct 24 00:08:18 2020 +0200
@@ -7,3 +7,4 @@
 371186f1d67660e55f9e9901ea1a6186865f8c7b v0.15
 0a39c9d54e522194a81afd8fd1fdbacc183d1e2f v0.16
 2ace1ee88f4937a96c981d947d21bff116894816 v0.17
+7f9a3ecd43bae8398beb4475a4708311134f3e07 v0.17.1