Hi folks, just as a reminder: When you close bugs or feature requests, please always leave a comment which states what the justification for closing the bugs is. E.g. "fixed in revision XYZ" or "fixed in git, should work in the next daily build", etc. Cheers, Max