diff -r d2d28468b410 -r f4c8af4e6060 .hgtags --- 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