On Thu, Mar 16, 2017 at 01:47:16PM +0100, Simone Caronni wrote:
I don't think it's worth the churn. Eventually, most of these will be
retired and we'll move on with the new names.
--
Matthew Miller
<mattdm(a)fedoraproject.org>
Fedora Project Leader