On Tue, Apr 11, 2017 at 05:51:42PM -0400, Paul W. Frields wrote:
> But won't changing the extension mess up the logotype for people using
> a different background?  Or is that not really a concern?

Unless it's changed, the extension only works with the default
background anyway.

--
Matthew Miller
<mattdm@fedoraproject.org>
Fedora Project Leader
_______________________________________________
design-team mailing list -- design-team@lists.fedoraproject.org
To unsubscribe send an email to design-team-leave@lists.fedoraproject.org