diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-12-03 23:51:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-03 23:51:56 +0100 |
commit | 07f1ee35fc9f9842b470d86d622676667255da9b (patch) | |
tree | 84b134a02fd9aa0929b67d4e3b129b0621b3efe8 /people | |
parent | 7b3a62a74b472dc07e39bc7236ea31d77afebe35 (diff) | |
parent | bcc329cf03e739a81146a7e2d31009bdd503a166 (diff) |
Merge pull request #187 from rust-lang/sync-infra
infra: remove Ashley and synchronize with GitHub
Diffstat (limited to 'people')
0 files changed, 0 insertions, 0 deletions