Ubuntu
linux package

  1. Bug #811240
  2. Comment #3

Comment 3 for bug 811240

Revision history for this message
Mannex (russ-mannex) wrote :

I used startup-manager to simply select 38-8 as the default, so I'm using the old kernel, but I don't have to use grub to boot.