diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-09 18:57:20 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-10-09 18:57:20 +0100 |
| commit | cde189c5d5d77afd077b067a887bbc7e3adb4f80 (patch) | |
| tree | 604b171de5aed9d3c4eeb885929b80f60d32397c /editors | |
| parent | 95c498d913a2aec1b97ae3613290e7d7a104d0e4 (diff) | |
| parent | 210456aeaa44bb970bf4ce28eba3e8c6890bc38d (diff) | |
Merge #6188
6188: Treat `ast::Name` in field patterns as use r=jonas-schievink a=jonas-schievink
bors r+ :robot:
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions