4 Feb
2018
4 Feb
'18
8:03 p.m.
https://bugs.freedesktop.org/show_bug.cgi?id=100745
--- Comment #13 from Dimitrios Liappis dimitrios.liappis@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.