Commit c9d9e25fb1b7e61277c43d56c6e3fc8bb8f1745f

Edward Thomson 2019-01-20T17:34:41

ci: update poxyproxy, run in quiet mode Update the proxy so that we can enable a quiet mode.