This message was deleted.

I’ll try to take a look at it today, thanks for the references to the upstream issue which affected us.