Commit 1e92a0363db4378cdef40877a33ef7ce3a7e15ac

Edward Thomson 2019-01-20T17:59:50

Merge pull request #4947 from libgit2/ethomson/proxyupdate ci: update poxyproxy, run in quiet mode