Hi, On Tue, Feb 28, 2012 at 11:37:49PM +0100, Bug Hunting wrote: > This PR is worked out as intended, but seems to be forgotten to be > closed; please close it. Please ignore this message; it was accidentally sent out as a second time. The PR of course was already closed at that time, as well. Thanks, Bug Hunting