So the original bug has been fixed, and the only issue is that grub may be installed in wrong drive, right?
So the original bug has been fixed, and the only issue is that grub may be installed in wrong drive, right?