gnome 3.8 bug with rolled-up (shaded windows) -- rh bugzilla or gnome bugzilla?

Fri Apr 5 19:21:33 UTC 2013

On Fri, Apr 5, 2013 at 8:34 PM, Matthew Miller <mattdm at fedoraproject.org> wrote:
> I filed this bug here https://bugzilla.redhat.com/show_bug.cgi?id=924406;
> is it more effective to instead file this in the Gnome bugzilla?

Yes, though in that particular case, I suspect we already have a bug
https://bugzilla.gnome.org/show_bug.cgi?id=693714 for it.