Hacker News new | ask | show | jobs
by myth_drannon 3083 days ago
No, you have to manually restart, boot into grub and select the one that works