Comment 86 for bug 2034619

And another correction
sudo apt install mutter/mantic-proposed
and
sudo apt install -t mantic-proposed mutter
do different things :-)

the mutter fix works :-)