--- a/.hgtags	Fri Oct 05 15:47:00 2018 +0200
+++ b/.hgtags	Fri Oct 05 15:47:00 2018 +0200
@@ -21,3 +21,4 @@
 04c7803a8e64fe26f20ddab16ac3414ba7b9dab2 0.1.17.1
 c28aa20c304a600e5ec92ad45a6e83c98b48e0ce 0.1.18
 30d866448bfdf80a8ed62892db114b25df952004 0.1.19
+17abf81792804492ed4845509caf882d7dc46f4c 0.1.20