On Fri, Jul 08, 2022 at 07:29:51PM -0500, Glenn Washburn wrote:
> On Tue, 5 Jul 2022 16:01:04 +0200
> Daniel Kiper wrote:
>
> > On Fri, May 13, 2022 at 12:54:12PM -0500, Glenn Washburn wrote:
> > > Signed-off-by: Glenn Washburn
> >
> > I think this patch should be merged with patch #1.
> >
> > >
On Tue, 5 Jul 2022 16:01:04 +0200
Daniel Kiper wrote:
> On Fri, May 13, 2022 at 12:54:12PM -0500, Glenn Washburn wrote:
> > Signed-off-by: Glenn Washburn
>
> I think this patch should be merged with patch #1.
>
> > ---
> > docs/grub.texi | 26 ++
> > 1 file changed,
On Fri, May 13, 2022 at 12:54:12PM -0500, Glenn Washburn wrote:
> Signed-off-by: Glenn Washburn
I think this patch should be merged with patch #1.
> ---
> docs/grub.texi | 26 ++
> 1 file changed, 26 insertions(+)
>
> diff --git a/docs/grub.texi b/docs/grub.texi
> index
Signed-off-by: Glenn Washburn
---
docs/grub.texi | 26 ++
1 file changed, 26 insertions(+)
diff --git a/docs/grub.texi b/docs/grub.texi
index 5de94d062..178957096 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -4049,6 +4049,7 @@ you forget a command, you can run the
