Skip to content

Work/fix proxy

Bart De Vries requested to merge work/fix-proxy into master

Fix currently broken proxy settings

  • the first commit fixes the actual problem
  • the second commit adds an additional "No Proxy" setting, which might be useful to override the system-wide settings

Merge request reports