On Sat, Jun 27, 2020 at 04:24:21PM +0100, Patrick Welche wrote:
> (must try with biosboot instead fo EFI which is the case here)
makes no difference

Reply via email to