On Tue, 2017-07-18 at 15:06 +0100, Tom Hughes wrote: > Nobody wants to have to resetup their desktop every day I do. I actually turn off my computer when I'm not using it, and start it again in the morning before I start working. -- Mathieu _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx