> On 17 Feb 2016, at 11:51, Neels Hofmeyr <[email protected]> wrote:
> 
> If no-one knows any better I'll just commit it and wait for complaints, if
> any.

nothing in the header should depend on config.h, what we don't know is what 
depends on an indirect include. Anyway. I believe a public header should not 
include config.h.

holger

Reply via email to