--- a/.hgtags	Tue Oct 20 23:48:51 2020 +0200
+++ b/.hgtags	Sat Oct 24 00:08:17 2020 +0200
@@ -5,3 +5,4 @@
 c59363fd805b033ea768ebe12ab60e8b3446c212 v0.15
 b73d5d8d46f1a243d2fa3f3858ea509a3e30ccc2 v0.16
 2eedf57e1d3a662e4b7ebc2ad1e2bb8ecbc33ff2 v0.17
+7545dea560af091a1cb82173219cdfcf728010e1 v0.17.1