Bah I think #Debian screwed up the grub menu after the last update. My #Windows partition is missing. #linux
@YurkshireLad Check 5.1.11. I think this is what you need to change eg in text editor. https://www.debian.org/releases/stable/amd64/release-notes/ch-information.en.html#grub-os-prober
@hehemrin thanks, yes that’s what I did.
Librem Social is an opt-in public network. Messages are shared under Creative Commons BY-SA 4.0 license terms. Policy. Stay safe. Please abide by our code of conduct. (Source code)
@hehemrin thanks, yes that’s what I did.