Just to double check, because I'm on a machine that I rely on for work:

I can grab the packages here: http://kernel.ubuntu.com/~kernel-
ppa/mainline/v3.12-rc2-saucy/

And after installing them with dpkg, I can always choose to boot on the
regular 3.8.0 kernel, correct?

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

Title:
  ThinkPad S431 boots up after shutdown, twice

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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to