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.