--- a/.hgtags Tue Oct 20 23:48:51 2020 +0200
+++ b/.hgtags Sat Oct 24 00:08:17 2020 +0200
@@ -8,3 +8,4 @@
86b7c37425f31dc288610adee0a2a4ae737dedbc v0.15
618388c50338309cd7257eb2504962d700f4f98a v0.16
2934d7e1e9bc2fb96420844636b8a6bf70789075 v0.17
+b6a8278c90644e53b6150543057a9b0b8d578fd6 v0.17.1