Anthony Iliopoulos - 19.11.23, 22:06:53 CET: > > Is this a known issue? I bet it needs a bug report to the GRUB > > developers? > See: > https://lore.kernel.org/grub-devel/20231026095339.31802-1-ailiop@xxxxxxxx/ Thank you, Anthony. So no bug report needed anymore. -- Martin
