Jakob Kaiser authored 1 year ago and Philipp Spilger committed 1 year ago

Proxy related settings should already be set before calling the script.

Change-Id: If2b047ec2e6165e0a1d33d32fe52d490df7b058e