Marius, thanks for your work on this, it seems that both those patches are included in mutter 3.12.2, which I just uploaded to the ppa.
Marius, thanks for your work on this, it seems that both those patches are included in mutter 3.12.2, which I just uploaded to the ppa.