Closed JohnTitor closed 3 years ago
This gets #333 work finally. The first commit is taken from https://rust-lang.zulipchat.com/#narrow/stream/242791-t-infra/topic/highfive's.20ping.20config/near/237971862.
r? @pietroalbini
Thanks!
This gets #333 work finally. The first commit is taken from https://rust-lang.zulipchat.com/#narrow/stream/242791-t-infra/topic/highfive's.20ping.20config/near/237971862.