On Wed, Jul 06, 2016 at 05:25:01PM +0100, Peter Humphrey wrote > > Well, you could always suggest that in the bug report...
Done; see comment 2 in the bug. -- Walter Dnes <[email protected]> I don't run "desktop environments"; I run useful applications
