By mere curiosity, why didn't we follow the usual renaming process (and avoid losing the previous history in git) ? It was just an upstream rename due to a trademark issue.
H.
-- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct