--- a/.hgtags	Mon Oct 22 17:04:30 2018 +0200
+++ b/.hgtags	Tue Oct 23 12:23:58 2018 +0200
@@ -418,3 +418,4 @@
 53f0f4ed20c84a2ff4cb5db324cc73a6cbb5ec0d V06.006
 b5098fdacc60bd06692663e86dd812bf56e11682 V06.007
 adb28b75f2c7471bd8393f66d149b9d8889240a0 V06.008
+d2d28468b410605239aa26f6c766b42e967e22e0 V06.009