--- 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