diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-09 11:36:40 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-09 11:36:40 +0000 |
| commit | ffba4c0dce336346471219ed03941295db37167f (patch) | |
| tree | 58ee7d973a97114ea28e8d5f659ca6cf05e69c2d /editors | |
| parent | 844b7f741171219531d2ea03fd9b14ce26b219c8 (diff) | |
| parent | 30791c52956c4f474a782cc46c7fe8598dcf1df0 (diff) | |
Merge #7931
7931: Use `Type::new_with_resolver_inner` more r=jonas-schievink a=jonas-schievink
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions