--- a/.hgtags Tue Oct 20 23:48:51 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:17 2020 +0200
@@ -8,3 +8,4 @@
5e1db0d214f519b60bee0a9338eed35008bb568b v0.15
e8ef0cca4268d1f929eef3f5c16841ee685f2e38 v0.16
a932312c9863317cad23ddc046d72278bd074c5c v0.17
+96cdc3d4e1f789de58c484788168ab2f1067e16b v0.17.1