@sdeziel Great. Nice catch.
I had missed your last comment. (and that the version number removed was the old ...3.6 not 3.7. So, no problems! Thanks! -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1447500 Title: Ubuntu creates cluttered Petitboot menu entries To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1447500/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
