On 03/17/2011 07:46 AM, Andy Wingo wrote:
Can you consider changing this one header file? It does not sound like an issue on which it is fruitful to be stubborn.
Well, there is a bit of stubbornness on both sides here, no? :-) But I tend to agree: for headers meant to be included by other code, it's typically better to avoid warnings like that, when it's easy (which it is here).