diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-20 10:49:12 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-20 10:49:12 +0000 |
| commit | 900ba711683e23a3e322730e6b7a913b350379eb (patch) | |
| tree | 8b644487b66e8c085747429a46ef5745f39b1cc3 /editors | |
| parent | 20a911f3cc2beb0409ab71cc1560648374745f7f (diff) | |
| parent | c1d37f030f01b5227168a822ed61cb27e6c67429 (diff) | |
Merge #7722
7722: Fix incorrect missing field diagnostic with box patterns r=Veykril a=lnicola
Closes #7711
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions