aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-10-09 18:57:20 +0100
committerGitHub <[email protected]>2020-10-09 18:57:20 +0100
commitcde189c5d5d77afd077b067a887bbc7e3adb4f80 (patch)
tree604b171de5aed9d3c4eeb885929b80f60d32397c /editors
parent95c498d913a2aec1b97ae3613290e7d7a104d0e4 (diff)
parent210456aeaa44bb970bf4ce28eba3e8c6890bc38d (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