--- a/.hgtags Sat Jun 06 01:50:44 2020 +0200
+++ b/.hgtags Tue Oct 20 23:48:51 2020 +0200
@@ -2,3 +2,4 @@
bca03092cdb653f019409ae18b0ac267090feae9 v0.14
b2c40d783699baff11e3a140551e178626d52f13 v0.15
c33bb7db854d0d3471fa09f440d728d9b236710f v0.16
+d769845a49b3ff5f68b34a5de18761f3a359d252 v0.17