If you have been monitoring the bug report, it's currently a dead end.
Unless there are other inputs, I think we may have to remove all the FreeDOS pieces from the grub4dos menu.
Or should we remove grub4dos entirely?
Unless there are other inputs, I think we may have to remove all the FreeDOS pieces from the grub4dos menu.
Or should we remove grub4dos entirely?