On Thu, Jul 19, 2018 at 04:26:59PM +0200, Clément Lassieur wrote:
> Clément Lassieur <clement@lassieur.org> writes:
> 
> > Leo, if you confirm my analysis, could you please unmerge the bugs?
> 
> I did it, because Eric confirmed the fix.

Thanks, sorry for the confusion!