No input in more than three months, so I will assume it's fixed. If it still happens, please reopen this bug.
No input in more than three months, so I will assume it's fixed. If it still happens, please reopen this bug.