Closing as the bug seems to have gone; if something similar happens, please open a new bugreport. Thanks!
Closing as the bug seems to have gone; if something similar happens, please open a new bugreport. Thanks!