I don't think this bug is needed. It looks like mutter 42 (jammy) is the only release that still has the problem, so I will patch it (bug 2068119).
I don't think this bug is needed. It looks like mutter 42 (jammy) is the only release that still has the problem, so I will patch it (bug 2068119).