On 11/10/2016 15:31, Brad House via c-ares wrote:
> Any chance this pull request will be merged before too long? I don't like
> letting things just hang around.
I think this branch is mergeable. Any of the requested changes can be
made with some small follow-up commits.
Thanks,
Gregor
Received on 2016-10-16