Follow-up Comment #2, bug #63907 (project grub): this appears to have been erroneously posted under the GNU GRUB instead of GNU Octave project. I don't know if it can be moved, although it appears it can be closed.
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?63907> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/