Curate GNU GRUB topic#5274

trvny wants to merge 2 commits into

github:maingithub/explore:mainfrom

trvny:curate-grub-topictrvny/explore:curate-grub-topicCopy head branch name to clipboard