diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-11 14:08:00 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-11 14:08:00 +0000 |
| commit | 3aa153b46c2519ddb584454e71d672c810edec48 (patch) | |
| tree | b027e99001eae50830e54979241865699bd762a1 /crates/hir_ty/src/traits/chalk | |
| parent | 8ad325a8062b63e62bbbc3b0e6c45c1fe0954cc7 (diff) | |
| parent | d229f0a1b28125ac388b1c95696ea4bd271eed27 (diff) | |
Merge #7247
7247: cargo update r=kjeremy a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
0 files changed, 0 insertions, 0 deletions