--- a/.hgtags Sat Jun 06 01:50:43 2020 +0200
+++ b/.hgtags Tue Oct 20 23:48:51 2020 +0200
@@ -7,3 +7,4 @@
45d60cf711e17e55f903d3b5bd75e13ff0cb786a v0.14
1877098fb54836f9d8464d61fe760ba4295f2e80 v0.15
e9984e8fa0076bf1e8ca5dc407b8a91092c8b0a7 v0.16
+eab79900c9f170eb9241ce1cba4b4cb6be38f531 v0.17