mutter 3.10.4 from trusty (no PPA) builds with the two patches applied (here's a debdiff). I tested with debuild wile waiting for 'pbuilder-dist create trusty', now I'm waiting for 'pbuilder-dist build trusty mutter_3.10.4-0ubuntu2mg1.dsc'... Ok, this builds too.
I uploaded the fixed mutter package to my PPA (https://launchpad.net/~mgedmin/+archive/ppa) if anyone with stock 14.04 has this problem (gnome-shell crashes on monitor hotplug/unplug) and wants to test it. It's building now.
mutter 3.10.4 from trusty (no PPA) builds with the two patches applied (here's a debdiff). I tested with debuild wile waiting for 'pbuilder-dist create trusty', now I'm waiting for 'pbuilder-dist build trusty mutter_ 3.10.4- 0ubuntu2mg1. dsc'... Ok, this builds too.
I uploaded the fixed mutter package to my PPA (https:/ /launchpad. net/~mgedmin/ +archive/ ppa) if anyone with stock 14.04 has this problem (gnome-shell crashes on monitor hotplug/unplug) and wants to test it. It's building now.