> Ping on this. Would a patch be OK?
Depending on the patch, yes.
- [Bug ada/42368] ada/cio.c uses common names joel at gcc dot gnu.org
- Re: [Bug ada/42368] ada/cio.c uses common ... Arnaud Charlet
- [Bug ada/42368] ada/cio.c uses common name... charlet at adacore dot com
