On Fri, Apr 05, 2013 at 09:21:33PM +0200, Florian Müllner 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. Yes, that's definitely it. Thanks. -- Matthew Miller ☁☁☁ Fedora Cloud Architect ☁☁☁ <mattdm@xxxxxxxxxxxxxxxxx> -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
