diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-09 20:40:05 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-12-09 20:40:05 +0000 |
| commit | baae1b3d0049e804e76d39cde82ebec0ef0599bb (patch) | |
| tree | d0bda6f7fd7916a6c8c7846c1263b11f38f8d858 /crates/ra_arena/src/lib.rs | |
| parent | e292573f425eece6f1666e051d7fe64b79640d39 (diff) | |
| parent | 16df4d8fcbf6695d8b033efe2dcaa5167629d9c8 (diff) | |
Merge #2516
2516: chore: bump deps and use mainline chalk r=matklad a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/ra_arena/src/lib.rs')
0 files changed, 0 insertions, 0 deletions