Merge pull request #3920 from WoltLab/http-request-proxy
authorTim Düsterhus <duesterhus@woltlab.com>
Mon, 1 Feb 2021 10:50:35 +0000 (11:50 +0100)
committerGitHub <noreply@github.com>
Mon, 1 Feb 2021 10:50:35 +0000 (11:50 +0100)
Fix HTTPRequest with proxies


Trivial merge