--- a/.hgtags	Tue Oct 20 23:48:52 2020 +0200
+++ b/.hgtags	Sat Oct 24 00:08:19 2020 +0200
@@ -8,3 +8,4 @@
 8e2d9b67b51c6bef253bce78a7d9c1f7896a61c1 v0.15
 796ff16f32fcd34eb2d135055a14c04278b80a8b v0.16
 509cac0cf4114613f44d34501e0015c4511a7877 v0.17
+5a035b851325acf6363b81cdedfc268c2aad607e v0.17.1