Yes. There's an easy fix, but the bug is still there.
And it is not the first time I've to run update-grub to boot my upgraded ubuntu.
Should we reopen the bug and its package to "upgrade system" or something ? We can't reproduce it...
Yes. There's an easy fix, but the bug is still there.
And it is not the first time I've to run update-grub to boot my upgraded ubuntu.
Should we reopen the bug and its package to "upgrade system" or something ?
We can't reproduce it...