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

From: Mathieu Othacehe <[email-masked]>
Date: Mon, 19 Oct 2020 17:51:54 +0200

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:

--8<---------------cut here---------------start------------->8---
make check-system TESTS="gui-installed-os gui-installed-os-encrypted
gui-installed-desktop-os-encrypted"
--8<---------------cut here---------------end--------------->8---

Thanks,

Mathieu