Le 15/10/2016 à 20:52, Joerg Sonnenberger a écrit :
On Sat, Oct 15, 2016 at 12:35:39PM +0200, Maxime Villard wrote:
Le 08/10/2016 à 17:14, Maxime Villard a écrit :
The patch is available here [1]. Clearly, I'm not going to commit it now, but
if someone here has an opinion about it, or if you th
On Sun, Oct 16, 2016 at 01:52:18PM +0200, Maxime Villard wrote:
> Le 15/10/2016 à 20:52, Joerg Sonnenberger a écrit :
> > On Sat, Oct 15, 2016 at 12:35:39PM +0200, Maxime Villard wrote:
> > > Le 08/10/2016 à 17:14, Maxime Villard a écrit :
> > > > The patch is available here [1]. Clearly, I'm not g