diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-04 16:17:08 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-04 16:17:08 +0100 |
| commit | a826ac6b9cc27e92f98a8638c7599647e59b13fd (patch) | |
| tree | c0ac171ae67c5b5b5222fb466c8f7b6b0a02fac2 /crates/ra_hir_ty/src/traits/chalk/tls.rs | |
| parent | 08108d29b271344886942741d84e49d8bb1ae5ae (diff) | |
| parent | b48dc22fbfdc19020f3f6967baa454968d9ca433 (diff) | |
Merge #5223
5223: update deps r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk/tls.rs')
0 files changed, 0 insertions, 0 deletions