diff -r 798dfcded2f5 -r 530a83382aee .hgtags
--- a/.hgtags	Tue Oct 20 23:48:51 2020 +0200
+++ b/.hgtags	Sat Oct 24 00:08:17 2020 +0200
@@ -3,3 +3,4 @@
 8730e2d0db0e866da5327d6a73a9c82ec23a96b0 v0.15
 b70e616178c064c7a296147e3787c853326c5898 v0.16
 afeb4e096753e12a89ecf07964e5458706759915 v0.17
+798dfcded2f57c1c662e881f0d5d6f58929bfe4a v0.17.1