diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-22 16:47:22 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-22 16:47:22 +0100 |
| commit | eabbeec14c6624fb93344c25ecd79fe61972abbc (patch) | |
| tree | 3ea368dc86059e903dd5c0b4b19cf78f50b63be3 /editors | |
| parent | 87615166af84a4822adc4686fd9ee44fafa51f53 (diff) | |
| parent | acc2819c10ce1eb9daadac606c3ab6cfbfa91851 (diff) | |
Merge #4988
4988: Don't offer to add missing fields of unknown types r=flodiebold a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions