On Mon, Jun 12, 2023 at 09:46:26AM -0700, Kevin Fenzi wrote:
I don't think there's a formal change filed yet.
Matthew: Did you want to do that? Or would you like me or someone else
to do so?
I would love someone else to do so, but if no one else wants to, I can. :)
--
Matthew Miller
<mattdm(a)fedoraproject.org>
Fedora Project Leader