Comment 11 for bug 1457369

Revision history for this message
Maarten Fonville (maarten-fonville) wrote :

Yes, to workaround the problem I had already installed the 4.0.4-040004-generic kernel (so not the very latest topline), and it works without any trouble.