> On Fri, Sep 22, 2023 at 02:21:38PM +0200, Fabio Valentini wrote: > > Yes, exactly. We have no idea if this will be picked up again (either by > trodgers or by somebody else), so it seems better to drop it than to pretend > that we expect it to happen for F40. Well I had said publicly I was working on it: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx/thread/ZK47JMBBBMWCGGSSK2YBILQSQFCL6UTE/ I've resubmitted it for f40 now. _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue