Bug#748302: Add Xen parameters to /etc/default/grub

[Colin Watson]

On Thu, May 15, 2014 at 11:30:04PM +0200, Paul Muster wrote:
> Please add placeholders/examples for Xen kernel config to /etc/default/grub

I would rather not change /etc/default/grub except when absolutely
necessary, because doing so causes configuration file prompts for
everyone.  Is the reference to "info grub" not sufficient?

-- 
Colin Watson                                       [cjwatson at debian.org]