diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-09 15:22:06 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-09 15:22:06 +0100 |
| commit | f1cb5b8a29ce509bf1f8d6df97d4b6586b9a2dac (patch) | |
| tree | f17660ae89a8c767d4175cd206c2fd3e86a685c5 /crates/ra_arena/src/map.rs | |
| parent | 77d2eaba1679832f4c00241645712460351eddb4 (diff) | |
| parent | d9828a57fcbff6c1bcaa9d2b6a54a08d8428a95f (diff) | |
Merge #4392
4392: Add From should not move the cursor r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_arena/src/map.rs')
0 files changed, 0 insertions, 0 deletions