Oops, apologies, Paul. Your patch _does_ look correct. (I should have read the entire patch, not just the ChangeLog entry.)
Bruno
- [PATCH] string, wchar: avoid so... Paul Eggert
- Re: [PATCH] string, wchar:... Bruno Haible
- Re: [PATCH] string, wc... Bruno Haible
- Re: [PATCH] string, wchar:... Bruno Haible
- Re: [PATCH] string, wc... Simon Josefsson via Gnulib discussion list
- Re: [PATCH] string, wchar:... Bruno Haible
