diff -r 351dabbee2f7 -r 722803a4568f .hgtags
--- a/.hgtags	Mon Dec 10 15:53:23 2018 +0100
+++ b/.hgtags	Mon Dec 10 15:53:23 2018 +0100
@@ -18,3 +18,4 @@
 cb03816a641948ec23bac912cdc7c6f56e44f004 0.1.17
 41f43b3456db36f329fba0bed098449c98f4b55d 0.1.18
 4a86e96299112f9f759a2799ccf974358994a27d 0.1.19
+351dabbee2f78935de849af5a675849c351eee30 0.1.20