diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-22 11:52:23 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-22 11:52:23 +0000 |
| commit | 2ca9cb375385fceede55cfacdbadc1c6bf24e2ea (patch) | |
| tree | b8772cc86724b0e9e44f53eb828e4c9b92883024 /docs | |
| parent | 6403b530bb75f708b44a22e166671917121e625f (diff) | |
| parent | eb2cb6b01f9fc35498e809f3905d5149c045876b (diff) | |
| download | rust-2ca9cb375385fceede55cfacdbadc1c6bf24e2ea.tar.gz rust-2ca9cb375385fceede55cfacdbadc1c6bf24e2ea.zip | |
Merge #7388
7388: Minor fix for #7387 r=edwin0cheng a=edwin0cheng bors r+ Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions