On 5/20/25 13:27, Jose E. Marchesi wrote:
But I would like to have Paul's confirmation that he is ok with that on
the autoconf side..

Yes, I'm OK.



Reply via email to