--- a/.hgtags	Mon Dec 30 23:15:44 2019 +0100
+++ b/.hgtags	Thu Jan 02 16:30:19 2020 +0100
@@ -436,3 +436,4 @@
 6dbddb984a2266a33fa6759190794c4043ee9851 V06.018
 a3c6f244dbc19116d08d7de0247d7474067716ae V06.018
 f189d4918dae964ac271b52d5b11d5e6faba205c V06.019
+e4662bc99fec4e8c17f6caade2dbd7122ffa103e V06.020