On Mon, Oct 19, 2015 at 06:42:43PM +0200, Thibaut Collet wrote: > > > > Can you pls check refs/heads/for_thibaut? > > It should have your patch as the latest commit. > > I do not see yet my patch on the for_thibaut branch
Ouch. I meant refs/tags/for_thibaut. Sorry about that.