Re: [Fedora-legal-list] FDLIBM license