Since I’ve updated gnome-extensions info dash-to-panel@jderose9.github.com to version 60, I haven’t seen any problems. But it is still too early to give the all-clear. I will continue testing.
Since I’ve updated gnome-extensions info dash-to-panel@jderose9.github.com to version 60, I haven’t seen any problems. But it is still too early to give the all-clear. I will continue testing.