--- a/.hgtags Sat Jun 06 01:50:45 2020 +0200
+++ b/.hgtags Tue Oct 20 23:48:52 2020 +0200
@@ -7,3 +7,4 @@
0c050899c77f491367784ea677657f9e6ff3fc1f v0.14
6edbaadbc8529832477ccb57961b831f00cb49a2 v0.15
b160046f5f24617444adb83de8d55fb19d392259 v0.16
+47c0858c48183acaf143fb6d835678bc84310e68 v0.17