bug#80134: Close

[Andreas Enge]

Thanks for the report! I have moved this to our new issue tracker as
   https://codeberg.org/guix/guix/issues/5401
and am closing it here.

Andreas