diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-04 15:41:56 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-04 15:41:56 +0000 |
commit | b3b1f43ff9c68b0fca6d7dd151efa0d771af2475 (patch) | |
tree | f6d415c9964d89989eb48420158c9537fdf986ff /crates/hir_ty/src/infer | |
parent | 6f8af890ed9e3998b034c52157baf21db2a78227 (diff) | |
parent | 01a5b8356292e9c840b79ac94862a608196763b4 (diff) |
Merge #7156
7156: Rename extension config r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/infer')
0 files changed, 0 insertions, 0 deletions