diff -r 5869151a1f2f -r 88521d58ea99 .hgtags
--- a/.hgtags	Wed Dec 11 14:30:18 2019 +0100
+++ b/.hgtags	Wed Dec 11 14:33:07 2019 +0100
@@ -430,3 +430,4 @@
 7bdb0fe36bdc53efcea4f4c4db2994cc33777c7e V06.015
 c1b35ccab78a93649e623d9e613aabf09390ee34 V06.016
 0b68fd2f9547575970d167dcd913dcf5dfa5cfaa V06.017
+5869151a1f2ff1bdd074600f0bd75c14762f019f V06.018