--- a/.hgtags Sat Jun 06 01:50:43 2020 +0200
+++ b/.hgtags Tue Oct 20 23:48:51 2020 +0200
@@ -7,3 +7,4 @@
3442e0d6caec8035770fdaa98541a6590d3ccd66 v0.14
12c329f5524f0c1e108ee80279dc8d314af2cd88 v0.15
e10d98ca01e23c31fd168fd9f70e3b3f5e82dede v0.16
+1d1e60f64b700bd62ddba3758d4b9693057c96fb v0.17