--- a/.hgtags	Thu Sep 24 20:42:34 2020 +0200
+++ b/.hgtags	Tue Oct 20 23:48:50 2020 +0200
@@ -7,3 +7,4 @@
 27f0ffa712d9455b2559ce3ffef0ab4e08278df2 v0.14
 c3672791b2e89c3a5caf9abca43ab666743bdc7a v0.15
 33ada8ed2803bfdddec610cc6c3683257d352ac8 v0.16
+3297579996641ffdef8b102dd0e83fe624b3f9b0 v0.17