Comment 13 for bug 1194649

Rainer Rohde (rainer-rohde) wrote :

Just FYI -- kernel 3.10.0-2-generic (via dist-upgrade on July 1) also has the bug...