On Thu, Jul 27, 2023 at 6:20 AM Julian Andres Klode <julian.kl...@canonical.com> wrote: > > This fixes an error reported by Debian's lintian program.
A similar patch was sent to the list on July 11 and has already been reviewed. _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel