Merge pull request #4359 from libgit2/cmn/proxy-options-free Plug some leaks in curl's proxy handling