--- a/.hgtags	Sat Jun 06 01:50:42 2020 +0200
+++ b/.hgtags	Tue Oct 20 23:48:50 2020 +0200
@@ -7,3 +7,4 @@
 3cc1b9be97bcab7228be755e551997fc30fa482c v0.14
 029e302788b61ffe5b23fc6d8cafd95129c494f4 v0.15
 76c6ffcc40f950d1eef1a3bc43c00c0820577ae7 v0.16
+e5a3b0c7828bb82b8ab9f6e26f499b01bfe49f29 v0.17