Hi Sergio, On Thu, Sep 5, 2024 at 5:26 PM Sérgio Basto <ser...@serjux.com> wrote:
> I already did the PR > > https://src.fedoraproject.org/rpms/xorg-x11-server/pull-request/21 > > https://copr.fedorainfracloud.org/coprs/sergiomb/xorg-x11-server/builds/ Yes, that's the merge request I was mentioning. Thanks, --Simone -- You cannot discover new oceans unless you have the courage to lose sight of the shore (R. W. Emerson). http://xkcd.com/229/ http://negativo17.org/
-- _______________________________________________ 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, report it: https://pagure.io/fedora-infrastructure/new_issue