Pádraig Brady <[email protected]> writes: > tag 81532 notabug > close 81523 > stop > > closing here as grub is not part of GNU coreutils. > > I suggest you resend to <[email protected]>
Note that grub moved to the freedesktop gitlab a while ago, and wants patchs, and likely bugs, reported there [1]. Collin [1] https://gitlab.freedesktop.org/gnu-grub/grub/-/work_items
