Comment 2 for bug 538884

Revision history for this message
Colin Watson (cjwatson) wrote :

(And I agree that we ought to have something for this kind of thing that's easier than editing /etc/grub.d/10_linux, although it will take some careful design work.)