On Mon, Mar 03, 2025 at 10:43:24AM +0000, Zbigniew Jędrzejewski-Szmek wrote: > > Below is the list of PRs to merge. They all pass CI or the CI failed > for unrelated reasons. I'll look at each PR before merging, so if > there is an ongoing discussion or requests from the maintainers, I'll > not merge the PR. (Some are false positives in the sense that there > already are comments there. I don't have a automatic way of filtering > those out.)
> https://src.fedoraproject.org/rpms/maradns/pull-request/1 Merged 2 weeks ago. -- Tomasz Torcz There exists no separation between gods and men: to...@pipebreaker.pl one blends softly casual into the other. — Frank Herbert -- _______________________________________________ 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
