Hi Götz, thanks for the review.
> You might want to describe in the bug how you have fixed this. Done. > Did you check that all the StackOverflow tests still work in the > debug build? Yes, tests have run several times and no new issues have shown up. > In the ProblemList, please remove the bugids of 8211767. Done. Best regards, Martin
