Comment 6 for bug 2067945

For the crash reports, there is none for yesterday's incident.
There are 2 from earlier, but I don't recall if it was for this specific problem :
https://errors.ubuntu.com/oops/38e94e8a-1c52-11ef-8b8f-fa163ec8ca8c : gnome-screensaver on may 27
https://errors.ubuntu.com/oops/7b634372-153d-11ef-9e07-fa163ec44ecd : gnome-shell on may 18
https://errors.ubuntu.com/oops/24a3ff48-1b3e-11ef-9e25-fa163ec44ecd : one of 4 occurences for xwayland