[12:11] <mgedmin> is there a PPA for bleeding edge gnome 3.11 bits?
[14:44] <travis> hi
[14:45] <Guest60269> ?