Comment 63 for bug 1767648

And no, we won't wait till August to get this fix into 18.04 updates. It will be released soon after all the other bug fixes in the same update have been verified (by anyone):

https://launchpad.net/ubuntu/+source/mutter/3.28.3+git20190124-0ubuntu18.04.1