Processed: Re: Bug#627225: grub-common: Support for different options for Linux and Xen Linux kernels

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 617538 627225 627226
Bug#617538: update-grub (mk-grubconfig) does not support old "xenkopt"
Bug#627225: grub-common: Support for different options for Linux and Xen Linux kernels
Bug#627226: grub-common: Support for different options for Linux and Xen Linux kernels
Forcibly Merged 617538 627225 627226.

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
627225: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=627225
617538: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=617538
627226: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=627226
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems