diff -r d9539658a874 -r 1488cdb644ef .hgtags
--- a/.hgtags	Sat Jun 06 01:50:45 2020 +0200
+++ b/.hgtags	Tue Oct 20 23:48:52 2020 +0200
@@ -7,3 +7,4 @@
 5a3602fb16498ebbcf221a2fb3defe18c618849e v0.14
 af1462df32371772c0767026bb0b77b55af8bfb4 v0.15
 ec662eb37f7b8f4346318cefd40117cdecfd468f v0.16
+d9539658a8741adb70dd736c042b1322cd92a21d v0.17