Bug#260391: grub-set-default

[Robert Millan]

retitle 260391 grub-doc: Invalid references to grub-set-default
thanks

Hi!

grub-set-default is an utility introduced in upstream with the interface
change in savedefault handling. Such interface change hasn't made it into
the Debian package yet, so we don't need savedefault for now.

-- 
Robert Millan

"[..] but the delight and pride of Aule is in the deed of making, and in the
thing made, and neither in possession nor in his own mastery; wherefore he
gives and hoards not, and is free from care, passing ever on to some new work."

 -- J.R.R.T., Ainulindale (Silmarillion)