On 17/10/2016 10:29, Daniel Stenberg wrote:
> 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?
I cannot see / find the merge button.
Received on 2016-10-18