diff -r 9008fd23fc17 -r 19c6ad5cf39c .hgtags
--- a/.hgtags	Fri Oct 23 12:36:32 2020 +0200
+++ b/.hgtags	Sat Oct 24 00:08:18 2020 +0200
@@ -8,3 +8,4 @@
 f3867ada29b8e59426c64f9a678c4b4a56101a59 v0.15
 32113908404d8e1f47b01c175172b72732dcc43d v0.16
 048454a633c00eb8701452a69f01ec6c9a1c577c v0.17
+9008fd23fc178a7407f593505e8c3c083a2eea70 v0.17.1