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.


Reply via email to