--- a/.hgtags	Sat Jun 06 01:50:45 2020 +0200
+++ b/.hgtags	Tue Oct 20 23:48:53 2020 +0200
@@ -7,3 +7,4 @@
 cabd0f80a34b6193a6fd01c7d212c22f98bd55eb v0.14
 59d39db44970d7d9c1c82095f1cdd4f4c9242e1b v0.15
 72a718c3f610d1710989c54fa8f08c7bf15fa983 v0.16
+30f52cc3202c3c8202ea965c6c5050527e62cb80 v0.17