Thanks for doing that, and for doing all the other naming cleanup.
- Renaming module stdio to stdio-h, ... Bruno Haible via Gnulib discussion list
- Re: Renaming module stdio to ... Paul Eggert
- Re: Renaming module stdio... Bruno Haible via Gnulib discussion list
- Re: Renaming module s... Paul Eggert
- Re: Renaming modu... Bruno Haible via Gnulib discussion list
- Re: Renaming... Paul Eggert
- Re: Renaming module stdio to ... Bruno Haible via Gnulib discussion list
