On 5/29/20 5:02 AM, Bruno Haible wrote:

> Paul, is this OK from the perspective of a future merge with glibc?

Yes, it's an improvement in that department; thanks.

Reply via email to