--- a/.hgtags	Tue Dec 03 11:54:06 2019 +0100
+++ b/.hgtags	Tue Dec 03 11:55:43 2019 +0100
@@ -429,3 +429,4 @@
 0000000000000000000000000000000000000000 06.015
 7bdb0fe36bdc53efcea4f4c4db2994cc33777c7e V06.015
 c1b35ccab78a93649e623d9e613aabf09390ee34 V06.016
+0b68fd2f9547575970d167dcd913dcf5dfa5cfaa V06.017