--- a/.hgtags	Tue Oct 23 12:08:33 2018 +0200
+++ b/.hgtags	Tue Oct 23 12:08:33 2018 +0200
@@ -18,3 +18,4 @@
 b80f490dee1390a9e3d88392c2d2f3059c40332d 0.1.17
 125071f52bfe8f69216b72df9e575c773133dec5 0.1.18
 68601c3a38a6409ab6d3c3ec3b4069e8f1507b7d 0.1.19
+437f3b783d251c32b8bae0ac22fefdb891ae7ff3 0.1.20