--- a/.hgtags Tue Oct 20 23:48:50 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:17 2020 +0200
@@ -1,3 +1,4 @@
03cd058c33bab64159ba0f1f00062fa1f3033712 v0.15
1564a3514a8403591c15f06c73bfaf6a4f6ded7d v0.16
2241c48fd805864acf0dee8d78ab2ed5b801bb6a v0.17
+05fdf66c943ff09639e13942cd7de090c53973c2 v0.17.1