[Bug 1291434] Re: GRUB_CMDLINE_LINUX_DEFAULT contains duplicate options

Brian Murray brian at ubuntu.com
Mon Jul 28 16:26:52 UTC 2014


** Tags added: trusty

-- 
You received this bug notification because you are a member of Ubuntu
Review Team, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/1291434

Title:
  GRUB_CMDLINE_LINUX_DEFAULT contains duplicate options

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1291434/+subscriptions



More information about the Ubuntu-patch-reviews mailing list