This is sort of another instance of bug 320183. However, I'm keeping it separate for now because it might make sense UI-wise to do something about this just for the "reinstall GRUB" option.
This is sort of another instance of bug 320183. However, I'm keeping it separate for now because it might make sense UI-wise to do something about this just for the "reinstall GRUB" option.