[09:54] <teddy-dbear> Morning peoples, critters and everything else
[22:00] <waltman> This continues to annoy me, so I just filed a bug report -- https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/1727868