diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-06 10:20:09 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-06 10:20:09 +0100 |
commit | 18907e6cc52d53b8385a26f3080cd21a6167022b (patch) | |
tree | e529c5dd962948165c9806078027ff0e2d7a2e32 /crates/ra_hir_ty/src/infer.rs | |
parent | 2c7f5b8d40290e09aeb042aef64506a3fa33146e (diff) | |
parent | beb35c3ecb4aa5139571aba70f7364d135302775 (diff) |
Merge #4339
4339: Fix capitalization r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer.rs')
0 files changed, 0 insertions, 0 deletions