diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-02 20:18:18 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-02 20:18:18 +0100 |
commit | eb741e895f1a73420a401f2495c711afe37d9d19 (patch) | |
tree | 71ecd3cd6b69a504ec73465e952243596bb2fc99 /crates/ide/src/typing.rs | |
parent | a319e939b46b154a71818378f0663a7655230108 (diff) | |
parent | 666302f0070e9ed037832649b4bd39ffb40962da (diff) |
Merge #8709
8709: cargo update r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'crates/ide/src/typing.rs')
0 files changed, 0 insertions, 0 deletions