Fix run_envoy_docker.sh 'do_ci.sh ' does not work behind proxy#3956

Merged

mattklein123 merged 1 commit intoenvoyproxy:masterfrom 249043822:bugfix001

Jul 26, 2018

+1-1

Commits on Jul 26, 2018

Fix run_envoy_docker.sh 'do_ci.sh ' does not work behind proxy
249043822
committed