diff -r 2241c48fd805 -r 05fdf66c943f .hgtags --- a/.hgtags Sat Jun 06 01:50:42 2020 +0200 +++ b/.hgtags Tue Oct 20 23:48:50 2020 +0200 @@ -1,2 +1,3 @@ 03cd058c33bab64159ba0f1f00062fa1f3033712 v0.15 1564a3514a8403591c15f06c73bfaf6a4f6ded7d v0.16 +2241c48fd805864acf0dee8d78ab2ed5b801bb6a v0.17