Subject: [bug#59619] Acknowledgement ([PATCH] grub-configfile)

From: "(" <[email-masked]>
Date: Sat, 26 Nov 2022 21:25:47 +0000

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>

    -- (