--- a/.hgtags Tue Oct 20 23:48:51 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:18 2020 +0200
@@ -8,3 +8,4 @@
12c329f5524f0c1e108ee80279dc8d314af2cd88 v0.15
e10d98ca01e23c31fd168fd9f70e3b3f5e82dede v0.16
1d1e60f64b700bd62ddba3758d4b9693057c96fb v0.17
+361696fb6434297ca2234b386fe10dbc1291c7ec v0.17.1