On Thu, 2 Mar 2023, Claudio Saavedra wrote:

Any chance that you could patch this downstream? It doesn't look like
upstream has any interest in fixing this.

I think so, there will be an upload in the next days ...

  Thorsten

Reply via email to