Thanks for reporting this. Apparently the bug didn't appear again, so I'm setting the status to Invalid. Feel free to reopen the bug, if it happens again.
Thanks for reporting this. Apparently the bug didn't appear again, so I'm setting the status to Invalid. Feel free to reopen the bug, if it happens again.