Subject: Re: bug#44027: [PATCH] installer: Create bios_grub partition when it is needed.

From: Miguel Ángel Arruga Vivas <[email-masked]>
Date: Mon, 19 Oct 2020 21:59:30 +0200

Hi,

Mathieu Othacehe <[email-masked]> writes:
> Hello Miguel,
>
>> Is there any other issue remaining?  It doesn't modify this logic at
>> all.  Should I apply this patch to master then?
>
> Yes, your patch LGTM. Please make sure that system tests are still
> working by running:
>
> make check-system TESTS="gui-installed-os gui-installed-os-encrypted
> gui-installed-desktop-os-encrypted"

I pushed it to master as 19c14d95b3 after running successfully these
system tests.

Thank you very much, and happy hacking!
Miguel