--- a/.hgtags	Wed Sep 23 16:58:48 2020 +0200
+++ b/.hgtags	Tue Oct 20 23:48:50 2020 +0200
@@ -7,3 +7,4 @@
 1ae185cac1f3ecb58b0ee70b5b55d5697fc09288 v0.14
 6d58ee679c37560d864d60ad4de2aa269427176d v0.15
 fee57dccdc81707f930e188297237f3c2f334d4e v0.16
+15ee963675aff11e2465ff77dcb0ede523358447 v0.17