No matches were found for subject:"\[MediaWiki\-commits\] \[Gerrit\] Remove wgHTTPProxy code as we're not using it anymore \(and i... \- change \(operations\/mediawiki\-config\[master\]\)"