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.
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.