On Fri, Nov 08, 2024 at 01:07:45PM -0600, Glenn Washburn wrote:
> Ping. Wondering what might be holding this up from being merged?
Well, fell of my radar. Sorry about that. Added to the queue.
Reviewed-by: Daniel Kiper
Daniel
___
Grub-devel mailing l
Ping. Wondering what might be holding this up from being merged?
Glenn
On Thu, 5 Sep 2024 20:37:11 -0500
Glenn Washburn wrote:
> Signed-off-by: Glenn Washburn
> ---
> docs/grub.texi | 15 +++
> 1 file changed, 7 insertions(+), 8 deletions(-)
>
> diff --git a/docs/grub.texi b/doc
Reviewed-by: phco...@gmail.com
Le ven. 6 sept. 2024, 04:38, Glenn Washburn a
écrit :
> Signed-off-by: Glenn Washburn
> ---
> docs/grub.texi | 15 +++
> 1 file changed, 7 insertions(+), 8 deletions(-)
>
> diff --git a/docs/grub.texi b/docs/grub.texi
> index 63e796a3a738..e6e5efa05e6
Thanks for fixing these, I’m not an official maintainer but looks good to
me!
Sincerely,
Andrew Hamilton
On Thu, Sep 5, 2024 at 8:37 PM Glenn Washburn
wrote:
> Signed-off-by: Glenn Washburn
> ---
> docs/grub.texi | 15 +++
> 1 file changed, 7 insertions(+), 8 deletions(-)
>
> diff
Signed-off-by: Glenn Washburn
---
docs/grub.texi | 15 +++
1 file changed, 7 insertions(+), 8 deletions(-)
diff --git a/docs/grub.texi b/docs/grub.texi
index 63e796a3a738..e6e5efa05e6c 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -4538,11 +4538,12 @@ files.
@node emunet_mod