Bug#1034812: Bug#1041168: Installation of GRUB failed

[Christof B.]

Am 17.07.23 um 20:13 schrieb Pascal Hambourg:

Thanks for testing. Should #1034812 and #1041168 be merged ?

Yes, I think so.