So I have a dual-boot system with Windows 10 and Ubuntu 18.04. In the past, Windows updates have frequently caused GRUB to disappear. However, I could always fix this easily