I’m dual booting Windows and Linux Mint on my laptop. The grub default is to boot into Linux Mint, however many people will probably