The observation I posted about a week ago is not correct unfortunately. The problem seems to appear less often, but I still had one occurrence where I had to restart gnome-shell.
The observation I posted about a week ago is not correct unfortunately. The problem seems to appear less often, but I still had one occurrence where I had to restart gnome-shell.