On Thu, May 18, 2017 at 11:43:31AM +0200, Ludovic Court??s wrote:
> Ooh, got it.  I managed to reproduce it with a toy example.  Should be
> fixed in 22ef06b801b284760b4ffd9587ea1a3dffd31baa.  Can you confirm?

Fixed!

Pj.



Reply via email to