On Tue, 2014-05-13 at 12:40 -0700, Laurent BP wrote: > What do you think? I think that's a reasonable thing to do. Pushed to the 4.2 branch. Thanks! Kohei