On Wed, 19 Aug 2015, cov...@ccs.covici.com wrote: > So do I file a bug on bgo, or is there some other way I should contact > the gnome overlay maintainers/? >
I think the easiest way would be to report throught the #gentoo-desktop IRC channel. They might tell you to go to the bugzilla.
