On Sun, 16 Oct 2016, Gregor Jasny via c-ares wrote:
> I think this branch is mergeable. Any of the requested changes can be made
> with some small follow-up commits.
Gregor, you can merge this yourself, can't you?
-- / daniel.haxx.seReceived on 2016-10-17