Good idea. I didn’t know how to raise it. I’ll try the note to the other folks later this afternoon. Sent from my iPhone > On Sep 7, 2025, at 9:40 AM, Thomas Schmitt <scdbackup@gmx.net> > > If i were affected then i would write short, polite mails to > grub-devel@gnu.org > pkg-grub-devel@alioth-lists.debian.net > and ask for investigation of the mentioned respective bug reports > (3 for Debian, 2 for GRUB). > > > Have a nice day :) > > Thomas >