On Thu, Jul 27, 2023 at 6:20 AM Julian Andres Klode <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
