--- a/.hgtags Sat Jun 06 01:50:44 2020 +0200
+++ b/.hgtags Tue Oct 20 23:48:52 2020 +0200
@@ -7,3 +7,4 @@
638f581903d049679cc18c684a1555ce5a1f8e24 v0.14
140dd584af24579d52408eb971a78676a640f25c v0.15
c4ed84bba6dc2883bb926e6e0ca1dd79714ce79d v0.16
+7087bcea5abb103e59a0581af75820af7bcd152d v0.17