diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-26 13:57:10 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-26 13:57:10 +0000 |
| commit | 2664aee8e5976f590e2fcb700982488ae2358780 (patch) | |
| tree | 0861e2c6ad6eef00d327ccc07ae367fe44ba11db /docs/user | |
| parent | e0f2e1560fd1073c20c61cd0ab232be241f1121e (diff) | |
| parent | 789efede824c8ae68b34051d8e822bcab4ae4155 (diff) | |
Merge #7405
7405: fill_match_arms: don't duplicate Ident-like arms r=matklad a=bugadani
Co-authored-by: Dániel Buga <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions