It should probably be stated somewhere (in the bug title?) that this is a
problem with the proprietary Nvidia driver only.

Reply via email to