There is another comment: https://savannah.gnu.org/bugs/index.php?42077#comment3
...saying this has nothing to do with upstream grub. Whose responsibility is this then!?
There is another comment: https:/ /savannah. gnu.org/ bugs/index. php?42077# comment3
...saying this has nothing to do with upstream grub. Whose responsibility is this then!?