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 [[email protected]] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

