Oh, I didn't see your comment about "distribution", but I can make a new
patch. I am not sure how urgent this is. I'd suggest you file a bug in
Debian, if they don't react, we'll include this in the next Ubuntu
version.

-- 
update-grub hardcodes to 'Ubuntu'
https://bugs.launchpad.net/bugs/83690
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to