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