A new saucy kernel has been uploaded into proposed. Note the ABI bump. The full changelog about all bug fixes contained in this upload can be found at: https://launchpad.net/ubuntu/saucy/+source/linux/3.11.0-13.20 -- This message was created by an automated script, maintained by the Ubuntu Kernel Team.