Follow-up Comment #5, bug #29385 (project grub): Yes. That was it. linux16 solved the problem.
Thank you so much for such a speedy solution. Does this bug remain visible once it is closed, or should someone (me?) attempt to add a note to the wiki/FAQ? _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?29385> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-grub mailing list Bug-grub@gnu.org http://lists.gnu.org/mailman/listinfo/bug-grub