> 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
