On 7/23/26 9:15 PM, Owen T. Heisler wrote: > Would it be possible to get it merged? See the > corresponding issue and pull request: > > - <https://codeberg.org/guix/guix/issues/8363> > - <https://codeberg.org/guix/guix/pulls/10017>
This is merged now, thanks to @cnx. (As far as I can tell by checking the list archive, the quoted message still has not actually made it to the mailing list after three days. In case it eventually does, and hoping this one will too, I wanted to give a heads-up that this did get merged.)
