--- a/.hgtags	Tue Oct 20 23:48:52 2020 +0200
+++ b/.hgtags	Sat Oct 24 00:08:19 2020 +0200
@@ -8,3 +8,4 @@
 f03e1f9cfcb6eae2f1def43fd07a6012bc7e257d v0.15
 2e51eb540e0193cec29ccc999e757d7fe1ea8a88 v0.16
 c22577615ce458f5fd524dda6e15bc73b1e825ef v0.17
+0b082065b1200fc487d1dc3684f5fd585f6ba028 v0.17.1