On Sun, Dec 23, 2018 at 02:28:38PM +1100, Bojan Smojver wrote: > Thanks Kevin. The build worked! > Sorry about not opening a ticket. That's done here, right? > https://pagure.io/fedora-infrastructure
Correct :) Pierre _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
