Re: [PATCH] util/grub.d/25_bli.in: Change shebang from /usr/bin/sh to /bin/sh

On Thu, Jul 27, 2023 at 6:20 AM Julian Andres Klode 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

[PATCH] util/grub.d/25_bli.in: Change shebang from /usr/bin/sh to /bin/sh

This fixes an error reported by Debian's lintian program. Cc: Oliver Steffen Signed-off-by: Julian Andres Klode --- util/grub.d/25_bli.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/grub.d/25_bli.in b/util/grub.d/25_bli.in index 6e4538716..c54f0dea0 100644 --- a/uti