--- a/.hgtags	Tue Sep 29 20:20:37 2020 +0200
+++ b/.hgtags	Tue Oct 20 23:48:51 2020 +0200
@@ -7,3 +7,4 @@
 825c611933b302679dcce6b881aec505492b2108 v0.14
 86b7c37425f31dc288610adee0a2a4ae737dedbc v0.15
 618388c50338309cd7257eb2504962d700f4f98a v0.16
+2934d7e1e9bc2fb96420844636b8a6bf70789075 v0.17