--- a/.hgtags Sat Jun 06 01:50:44 2020 +0200
+++ b/.hgtags Tue Oct 20 23:48:51 2020 +0200
@@ -7,3 +7,4 @@
707a6734f364d7093ca24e1679467ab982ece58d v0.14
f3867ada29b8e59426c64f9a678c4b4a56101a59 v0.15
32113908404d8e1f47b01c175172b72732dcc43d v0.16
+048454a633c00eb8701452a69f01ec6c9a1c577c v0.17