On Tue, 18 Oct 2016, Gregor Jasny wrote:
>> Gregor, you can merge this yourself, can't you?
>
> I cannot see / find the merge button.
Ah sorry, that was my mistake. I intended for you to have that ability. Check
again now!
-- / daniel.haxx.seReceived on 2016-10-18