@TommyE : As this bug only happens with nvidia's closed source driver, you can only hope that the company will do something to fix it.
They acknowledged the bug's existence nearly 1 year after it was reported, had trouble to find the pattern (probably because nobody runs a desktop linux with an Optimus graphics card at nvidia), and now, maybe they will try to fix it.
@TommyE : As this bug only happens with nvidia's closed source driver, you can only hope that the company will do something to fix it.
They acknowledged the bug's existence nearly 1 year after it was reported, had trouble to find the pattern (probably because nobody runs a desktop linux with an Optimus graphics card at nvidia), and now, maybe they will try to fix it.