On 6/5/25 20:51, Bruno Haible wrote:
Can we have a ChangeLog entry (that matches the git commit message), please?

Thanks for reminding me. I thought I had written such an entry but evidently not. I added the ChangeLog entry.

Reply via email to