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