Bug#432873: update-grub doesn't reset GREP_OPTIONS and fails

[Ian Campbell]

On Tue, 2014-02-25 at 23:10 -0800, Sarah Newman wrote:
> With xen's pv-grub update-grub is still needed. One of our customers very recently encountered this
> bug. pv-grub is also an option on EC2.

This seems unrelated to #432873 to me, that bug is about an issue with
update-grub and certain options, not its presence generally AFAICT.

Does the pv-grub-menu package now do what you need?
packages.debian.org/pv-grub-menu

Ian.