Now it is too late to check; but I am somewhat sure that before there was one more entry in the BIOS selection menu: W10, Linux, and one more. Was ist 'grub' or what? Sorry, can't remember. As of now, I think there's one less.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1898022 Title: grub upgrade 18.04->20.04 loses dual-boot to W10 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1898022/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
