On Tue, Sep 17, 2013 at 03:30:23PM +0200, Benoit Cousson wrote: > > I've just applied it on top of Joel's one. Benoit, Can you tell me where to find your git tree so that I can follow these patches' progress? Thanks, Richard