Hi: I have a laptop dual boot with Elementary OS and Windows 7. Yesterday I upgraded the windows partition with Windows 10. When I boot, GRUB still identifies as Windows 7 the upgraded partition. Need to know how to edit the grub menu to correct the line corresponding to windows. Thanks.