I don't think it's obvious that this is the same bug as in 181812, even though they have the same symptoms. (GRUB might fail to install for several different reasons.)
I don't think it's obvious that this is the same bug as in 181812, even though they have the same symptoms. (GRUB might fail to install for several different reasons.)