--- a/.hgtags Sat Oct 17 19:36:30 2020 +0200
+++ b/.hgtags Tue Oct 20 23:48:52 2020 +0200
@@ -6,3 +6,4 @@
4bcf3fb7cc48102f676906e57d9414349a0ee984 v0.14
9b926b6907b0b833b7668ba85f1b4991c511c9aa v0.15
7a8859067c330d24bd8bb6e70d0b521b2e770ff1 v0.16
+45a1742b985470df2110724091bddffe6e665233 v0.17