grub

  1. Bug #190207
  2. Comment #2

Comment 2 for bug 190207

Revision history for this message
Tormod Volden (tormodvolden) wrote :

Hi Matteo, thanks for your patch. Can you please send the patch upstream or to Debian? At this point, I guess we want to avoid diverting the Ubuntu version if it's not really needed. Your patch adds a useful feature that might as well be added upstream for all to use.