My apologies for not including that. I can't say exactly which version it was, but I keep my machines updated with update-manager set to check daily, so I was almost certainly running whatever was the latest version at the time. If that's unhelpful, please close the ticket as I have not had any subsequent crashes - should it happen again I can re-open or re-report?
-- Kernel oops https://launchpad.net/bugs/47582 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
