diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2018-11-27 20:38:21 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-27 20:38:21 +0100 |
commit | 584b4616ebecd82fb8b3fbb17730f21bbf96bf3b (patch) | |
tree | 5e1bfa0767c9c2429ad362268bea017585c0edd8 /src | |
parent | fd9fc0183e87d18b57838b7663b0a9f0a8c513e8 (diff) | |
parent | 6991b541f5f14f9fb7aa33419b21ceb1bebc0313 (diff) |
Merge pull request #3 from rust-lang/nrc-patch-1
minor change to core team
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions