diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-30 12:48:59 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-30 12:48:59 +0100 |
| commit | f41b68637a10fe0ebc56575d4acb6010dc94cc64 (patch) | |
| tree | 4c05b08e57411b586f8de76cb921e8c89ef9bec9 /crates/hir_ty/src/diagnostics/decl_check/case_conv.rs | |
| parent | 06b301e2f8a9f8607dfe3f0132dce68deae74ad5 (diff) | |
| parent | 36567eb9be6f7d925c70aca3df376c88da6853bf (diff) | |
Merge #9062
9062: internal: Bump deps r=lnicola a=lnicola
Fixes #9061
bors r+
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/diagnostics/decl_check/case_conv.rs')
0 files changed, 0 insertions, 0 deletions