mirror of https://github.com/grpc/grpc.git
Merge pull request #2085 from nicolasnoble/jenkins-sanity
Various Jenkins-related tweaks.pull/2061/merge
commit
d847f0e6d5
3 changed files with 7 additions and 4 deletions
Loading…
Reference in new issue