On Sat Nov 26, 2022 at 9:23 PM GMT, Stefan Karrmann wrote:
> all seems to work, but nothing got through to debbugs.gnu.org. Here is the
> output:

I'm not really sure what the problem is, but you might have more success following
these instructions:

  <https://guix.gnu.org/manual/devel/en/html_node/Submitting-Patches.html>

    -- (