Bug#725451: grub2: Please sort gnumach kernels per version

[Colin Watson]

Control: tag -1 pending

On Sun, Oct 06, 2013 at 01:55:29AM +0200, Samuel Thibault wrote:
> I have pushed upstream a patch to sort gnumach kernels per version
> (r5232), could you please cherry-pick it into the debian package, to fix
> grub menu generation, and most of all, default entry generation?

Cherry-picked for the next upload, thanks.

-- 
Colin Watson                                       [cjwatson at debian.org]