> > Paul, is this OK from the perspective of a future merge with glibc? > > Yes, it's an improvement in that department; thanks.
OK. I've pushed it. Bruno
> > Paul, is this OK from the perspective of a future merge with glibc? > > Yes, it's an improvement in that department; thanks.
OK. I've pushed it. Bruno