Re: [arch-releng] [PATCH] Define grubmenu as a global variable instead of multiple local variables

[Dieter Plaetinck]

merged from your github.
thanks,
Dieter