Comment 4 for bug 1898022

Writing my bug report earlier, I was under the impression, the matter would have to make with an abnormal upgrade to 20.04; earlier two W10 boot partitions, and what not.

I own two identical lenovo Helix 2; and just upgraded the second one. NOW it IS a bug: because this time, despite of a very normal and standard upgrade from 18.04, gone through smoothly, after the reboot also here the grub boot menu is gone, and the device boots by default into Linux. The only chance to boot to W10 is by interrupting the boot, and select the W10 partition through the BIOS.