Hi,

Mathieu Othacehe <othacehe@gnu.org> 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