Ubuntu
gnome-shell package

  1. Bug #1714542
  2. Comment #11

Comment 11 for bug 1714542

Revision history for this message
Andrea Azzarone (azzar1) wrote :

For the moment we can distro patch my workaround to avoid crashing. I'm already working to understand the true problem and propose the proper fix. For the moment it's better to avoid the crash.