Processed: Re: Bug#726166: gnome-shell crashes randomly, leaving my graphical applications borderless

[Debian Bug Tracking System]

Processing control commands:

> tag -1 + moreinfo
Bug #726166 [gnome-shell] gnome-shell crashes randomly, leaving my graphical applications borderless
Added tag(s) moreinfo.

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