diff -r 45a1742b9854 -r 1886fe2da4af .hgtags --- 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