> Le 2 févr. 2019 à 17:27, Akim Demaille <[email protected]> a écrit :
> 
> How about the appended commit?  I will push it to the maint branch once the 
> CI okay'ed it.  Please, confirm that it addresses your issue.  Then I'll 
> release 3.3.2 (today or tomorrow).

I'm rolling the release, as I don't think I will have time to spend on this 
next week.  I'm fairly confident I fixed the bug you reported, but who knows :( 
 Please try 3.3.2 when it's out, and let us know.

Cheers!

        Akim


Reply via email to