Comment # 13 on bug 100745 from Dimitrios Liappis

(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.