On Wed, Sep 30, 2015 at 01:40:44PM +0200, Antoine Jacoutot wrote: > On Wed, Sep 30, 2015 at 12:30:52PM +0200, Martijn van Duren wrote: > > ping > > I am still pondering the pros and cons...
I'll probably commit your diff tomorrow, thanks. -- Antoine
On Wed, Sep 30, 2015 at 01:40:44PM +0200, Antoine Jacoutot wrote: > On Wed, Sep 30, 2015 at 12:30:52PM +0200, Martijn van Duren wrote: > > ping > > I am still pondering the pros and cons...
I'll probably commit your diff tomorrow, thanks. -- Antoine