diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-18 17:40:11 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-18 17:40:11 +0000 |
| commit | fcc109e8904a1b965cbb860daf4e626a78ec125f (patch) | |
| tree | dbd947227c65a73bd80fc2f749896cc87e7d40fb /.gitattributes | |
| parent | 9210f480ac1788aaac18a0a575ee3556e0e5f9e3 (diff) | |
| parent | da104bb0f57b061547860184cb81c507f50f9f8e (diff) | |
Merge #7326
7326: Use `is_ident` when converting Path to an Identifier r=edwin0cheng a=kevaundray
Co-authored-by: Kevaundray Wedderburn <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions