Post #3624938

This did it. Previously /boot/grub/grub.cfg mentioned Windows on sda3 but now it doesn’t. The partition is still there of course but at least I don’t see the grub menu entry. Many thanks!