[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] util/grub.d/25_bli.in: Change shebang from /usr/bin/sh to /b
From: |
Mike Gilbert |
Subject: |
Re: [PATCH] util/grub.d/25_bli.in: Change shebang from /usr/bin/sh to /bin/sh |
Date: |
Thu, 27 Jul 2023 10:20:41 -0400 |
On Thu, Jul 27, 2023 at 6:20 AM Julian Andres Klode
<julian.klode@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.