diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-30 09:38:35 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-30 09:38:35 +0000 |
commit | 9d975320200e7d399661f04a0ba34b2fd0ba639b (patch) | |
tree | 96d310c201206add34f14a84506b74ba442aaa35 /editors/code/README.md | |
parent | e7d2b5888b8a7e632ae9080108ccbc450316fd86 (diff) | |
parent | fbeccf0b9d179bdaa3ddaf80f4e517a35f747124 (diff) |
Merge #7090
7090: Allow spurious warning from rust-lang/rust#80501 r=lnicola a=lnicola
bors r+
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors/code/README.md')
0 files changed, 0 insertions, 0 deletions