On Wed, Jul 19, 2023 at 2:35 PM Scott Talbert <s...@techie.net> wrote: > I'm happy to take cvc5, since I just packaged it for Debian a little while > back. But yeah, it would be nice to have a working fedora-review.
Thank you, Scott. Having someone familiar with cvc5 review it would be great. Like I just told Richard, there is a thread about fixing fedora-review in place: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/QMCHW3ZUTKLPIDARUFKPINA3VBSI3OT5/ I've used that to do ... what? Four reviews, I think? I haven't encountered any trouble so far. (Which doesn't mean you won't, of course!) -- Jerry James http://www.jamezone.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
