On Tue, Jan 10, 2023 at 03:03:59PM -0600, 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
Signed-off-by: Glenn Washburn
---
grub-core/gdb/gdb.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/grub-core/gdb/gdb.c b/grub-core/gdb/gdb.c
index 1818cb6f8e..9e091ee1bc 100644
--- a/grub-core/gdb/gdb.c
+++ b/grub-core/gdb/gdb.c
@@ -98,6 +98,7 @@ GRUB_MOD_INIT (gdb)
GRUB_MOD_FINI (gdb)
{
