Andreas says this has been fixed, so we're closing the bug. If it still happens, please reopen. Thanks.
Andreas says this has been fixed, so we're closing the bug. If it still happens, please reopen. Thanks.