On Wed, 10 Jul 2019, Gianfranco Costamagna wrote:
I'm uploading this fix in deferred/10, please Thorsten let me know if I can speed it up!
yes, please do as fast as you want to.
I also rebased the patch and forwarded it upstream, since nobody did it so far.
Thanks a lot. Thorsten
