Ok, reassigning this to grub2 since it's now confirmed that this is what
you're using.

I see that there was an upgrade of the grub2 package in your latest
post, so it's possible that the previous version of grub was buggy and
this works now only because the new version was pulled in.  So not
immediately closing this bug as it might warrant further investigation.

** Package changed: grub (Ubuntu) => grub2 (Ubuntu)

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1818772

Title:
  [disco-proposed] On the Boot splash screen, Grub does not show the 5.0
  kernel installed.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1818772/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to