Control: severity -1 normal more stable without notifications
- Bug#888199: gnome-shell crashes at different ci... Thomas Renard
- Processed: To severity normal Debian Bug Tracking System
- Bug#888199: To severity normal Thomas Renard
- Processed: Re: Bug#888199: gnome-shell cra... Debian Bug Tracking System
- Bug#888199: Bug #888199 in gjs marked as p... smcv
- Processed: Bug #888199 in gjs marked as pe... Debian Bug Tracking System
- Bug#888199: gnome-shell crashes at differe... Simon McVittie
- Processed: Re: Bug#888199: gnome-shell cra... Debian Bug Tracking System
- Bug#888199: Fwd: Bug#888199: gnome-shell c... Thomas Renard
- Bug#888199: marked as done (gnome-shell cr... Debian Bug Tracking System