Processed: Re: Bug#1050731: gnome-shell segfault in libmutter-clutter-12.so with nvidia-graphics-drivers set to 144Hz refresh

[Debian Bug Tracking System]

Processing control commands:

> retitle -1 gnome-shell segfault in libmutter-clutter-12.so with nvidia-graphics-drivers set to 144Hz refresh
Bug #1050731 [libmutter-12-0] libmutter-12-0: gnome-shell libmutter-12 segfault
Changed Bug title to 'gnome-shell segfault in libmutter-clutter-12.so with nvidia-graphics-drivers set to 144Hz refresh' from 'libmutter-12-0: gnome-shell libmutter-12 segfault'.
> severity -1 important
Bug #1050731 [libmutter-12-0] gnome-shell segfault in libmutter-clutter-12.so with nvidia-graphics-drivers set to 144Hz refresh
Severity set to 'important' from 'critical'
> tags -1 + moreinfo
Bug #1050731 [libmutter-12-0] gnome-shell segfault in libmutter-clutter-12.so with nvidia-graphics-drivers set to 144Hz refresh
Added tag(s) moreinfo.
> affects -1 + src:gnome-shell src:nvidia-graphics-drivers
Bug #1050731 [libmutter-12-0] gnome-shell segfault in libmutter-clutter-12.so with nvidia-graphics-drivers set to 144Hz refresh
Added indication that 1050731 affects src:gnome-shell and src:nvidia-graphics-drivers

-- 
1050731: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1050731
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems