diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-30 13:10:53 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-01-30 13:10:53 +0000 |
| commit | 5f0b17b52dafa7b1eb1ba8934ce44857413410a7 (patch) | |
| tree | 46649419dec055d9caafd186bb9df2bf9087ac24 /crates/ra_hir_ty/src/traits/chalk.rs | |
| parent | 0c2e7032b1e5e067edd35e22f2f317f32ad9fc60 (diff) | |
| parent | a37ee9c8a47daa801e9a5c30865748ea1715555d (diff) | |
Merge #2953
2953: Update crates r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk.rs')
0 files changed, 0 insertions, 0 deletions