On Mon, 2022-10-31 at 19:45 +0000, Michael J Gruber wrote: > Thanks! > > I would have been happy with the first reply already, but either it wasn't there yet or my question was posted late, which in a sense is the same, of course :) It wasn't there yet. I wrote it and intended to send it last night, but didn't actually do so, because of stupidity (to send mails from my fedoraproject.org address I have to be signed into the RH VPN because I send them through the RH SMTP server, but I often am not, so I try and send a mail, get an error, log into the VPN, but then *forget to resend the mail*...) -- Adam Williamson Fedora QA IRC: adamw | Twitter: adamw_ha https://www.happyassassin.net _______________________________________________ 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