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(a)fedoraproject.org>