Hi Seth! Thanks. In the meantime I got an update - I have 3.13.0-38-generic now, and the bug is still there. Is the patch included in this kernel, or should I still give your version a try?
Hi Seth! Thanks. In the meantime I got an update - I have 3.13.0-38-generic now, and the bug is still there. Is the patch included in this kernel, or should I still give your version a try?