diff -r adf30720ec85 -r 0c13d78ff496 .hgtags
--- a/.hgtags	Tue Oct 20 12:06:32 2020 +0200
+++ b/.hgtags	Tue Oct 20 12:07:33 2020 +0200
@@ -438,3 +438,5 @@
 f189d4918dae964ac271b52d5b11d5e6faba205c V06.019
 e4662bc99fec4e8c17f6caade2dbd7122ffa103e V06.020
 59a81a4de989f85cdc01ba5f0f5068dcad86eb6e V06.021
+59a81a4de989f85cdc01ba5f0f5068dcad86eb6e V06.021
+adf30720ec853fc2ee641a44f97c7769cad8c209 V06.021