Comment # 4 on bug 932011 from Juraj Hura

(In reply to Bj�rn Lie from comment #3)
> Have you experienced it since you got gnome-shell 3.18.1?

Sorry, meanwhile I switched to KDE.

But since upstream patch was applied and no one else is complaining, I think
this can be closed as fixed.