Re: [PATCH] efi: Add missing header from efi/console_control.h

2022-07-05 Thread Daniel Kiper
On Wed, May 11, 2022 at 10:02:27PM -0500, Glenn Washburn wrote: > Signed-off-by: Glenn Washburn Reviewed-by: Daniel Kiper Daniel ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel

[PATCH] efi: Add missing header from efi/console_control.h

2022-05-11 Thread Glenn Washburn
Signed-off-by: Glenn Washburn --- include/grub/efi/console_control.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/include/grub/efi/console_control.h b/include/grub/efi/console_control.h index 7c358fcdb..bb5fd038e 100644 --- a/include/grub/efi/console_control.h +++ b/include/grub/efi/con