On Tue, Nov 26, 2013 at 02:45:16PM +0100, Joerg Sonnenberger wrote: > On Tue, Nov 26, 2013 at 12:56:58PM +0000, Justin Cormack wrote: > > We should look at doing the same for tools... > > Likely to happen. Un... Joerg