On Thu, Mar 10, 2016 at 08:20:32PM +1300, Paul Eggleton wrote: > Remove some things left over from our earlier locked shared state > efforts and customised Hob UI. Thanks for pushing that, all merged. Cheers, Brendan