The change is indeed not big and it will probably not change the fact that most people will still refer to "Fedora" as "Fedora" but I agree that it is a good move to name and distinguish things properly in the documentation and system information.
It was always odd to me that RHEL was called "Red Hat Enterprise Linux", CentOS was "CentOS Linux" but Fedora was always just "Fedora", so I guess it will also make things more consistent. _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
