https://bugs.freedesktop.org/show_bug.cgi?id=100745

--- Comment #13 from Dimitrios Liappis <dimitrios.liap...@gmail.com> ---
(In reply to Michel Dänzer from comment #12)
> 
> FWIW, that's most likely a gnome-shell/mutter bug.

Thank you, indeed this is a mutter bug; I hunted the bug in
https://bugzilla.gnome.org/show_bug.cgi?id=789501 and there is a specific patch
for a monitor-manager/kms bug that fixes it, as described in
https://bugzilla.gnome.org/show_bug.cgi?id=789501.

-- 
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
dri-devel mailing list
dri-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/dri-devel

Reply via email to