Le 13/11/2019 à 00:25, Shmerl a écrit :
I am aware of the issue. No resend the same content as the bug. It was a long week end here and I have a $$$ job.Don't hesitate to step in to help, this is opensource ;)Thanks! Do you have any hints about what to experiment with to address it? I'm quite a loss at what could be the source of this.
it is/was caused by thinlto. I think I fixed it, could you please check? thanks Sylvestre
