diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-01 13:19:15 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-10-01 13:19:15 +0100 |
| commit | 3f4e9914ff77c76ad3cbdebe1e4e2c0a78818d63 (patch) | |
| tree | e2140f734c667c8dfdf488cbec43fa84f059ab3a /crates/syntax/src/ptr.rs | |
| parent | 43253c508d990cf9d65a1c68cf5dbec8206db164 (diff) | |
| parent | 9b2e38f00966e9e17bab75220eb00552d65cc576 (diff) | |
Merge #6101
6101: cargo update r=kjeremy a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'crates/syntax/src/ptr.rs')
0 files changed, 0 insertions, 0 deletions