diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-06 17:02:39 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-06 17:02:39 +0100 |
| commit | 7dd7017547c83bb3d33a785047e6da0a1464c0ad (patch) | |
| tree | b391af28f6bfaee53effcc64aeab325e95b5b461 /editors/code/.gitignore | |
| parent | 74711deb724e0a6c84a221bfdfa15eaedbdb2300 (diff) | |
| parent | e9752308bbaa2fd720e1eeaca970977fe22514d1 (diff) | |
Merge #8376
8376: infer: remove `record_field_resolutions` field r=flodiebold a=jonas-schievink
It stores no useful data, since we can derive all fields from
`variant_resolutions`
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions