Bug#892957: Seems to work again

[Rainer Schwarzbach]

After yesterday's latest updates and after booting today, everything
works as normal, no more crashes - so this report can probably be closed
as unreproducible if no-one else experiences something similar.

Thanks
Rainer