Re: [PATCH] grub2.cfg: fix GRUB compilation with GCC 12.

2023-03-19 Thread Chris Johns
Ok to push Thanks Chris On 20/3/2023 9:13 am, Karel Gardas wrote: > --- > source-builder/config/grub2.cfg | 3 ++- > 1 file changed, 2 insertions(+), 1 deletion(-) > > diff --git a/source-builder/config/grub2.cfg b/source-builder/config/grub2.cfg > index 2333d6a..174b846 100644 > --- a/source-b

[PATCH] grub2.cfg: fix GRUB compilation with GCC 12.

2023-03-19 Thread Karel Gardas
--- source-builder/config/grub2.cfg | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/source-builder/config/grub2.cfg b/source-builder/config/grub2.cfg index 2333d6a..174b846 100644 --- a/source-builder/config/grub2.cfg +++ b/source-builder/config/grub2.cfg @@ -56,7 +56,8 @@ UR