[Bug 1291434] Re: GRUB_CMDLINE_LINUX_DEFAULT contains duplicate options

[Brian Murray]

** 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