diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-09 12:14:30 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-09 12:14:30 +0100 |
commit | eb53f5a9e5f798e13681b8fb49d47299fe7011f0 (patch) | |
tree | aab012cc1a346f99d688b694e18e85031ad1cd8a /crates/ra_arena/src/lib.rs | |
parent | 382d10ea60de8a70766c1fb67d3feee10774b597 (diff) | |
parent | 8cad7d1a2b2546986aa8f42207875b1c8eed948a (diff) |
Merge #4812
4812: Use correct indent when replacing with match r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_arena/src/lib.rs')
0 files changed, 0 insertions, 0 deletions