Mutter

Bug #1728412
Comment #43

Comment 43 for bug 1728412

Revision history for this message

In bugzilla.gnome.org/ #770185, Carlos Garnacho (carlosg) wrote on 2018-05-15:

#43

https://gitlab.gnome.org/GNOME/mutter/merge_requests/78 was merged to master earlier today. And I've just cherry picked to 3.28.