--- 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