--- a/.hgtags	Sat Jun 06 01:50:43 2020 +0200
+++ b/.hgtags	Tue Oct 20 23:48:51 2020 +0200
@@ -7,3 +7,4 @@
 744b61559eb28267a8ada3ee93409e21066417c6 v0.14
 77fbaccdeea422d1a0227f2eff6ec591e1219ce2 v0.15
 283700190338286e08555339ab6f902298568074 v0.16
+cf0ebb7dfacab882f7833259cf00d3e0db9734c9 v0.17