diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-15 18:14:49 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-15 18:14:49 +0000 |
| commit | e24453c5ee46546b0852c15500d51f77b10a7a6f (patch) | |
| tree | c16545d4bcb98ccea98adf135dfba956edc13ffe /crates/ide/src/lib.rs | |
| parent | d38fd77845c40c6f07507c5c436af903a452efbd (diff) | |
| parent | 287e9a870c90650f2779c25de498602782a0f683 (diff) | |
Merge #8038
8038: Fix unification logic r=flodiebold a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ide/src/lib.rs')
0 files changed, 0 insertions, 0 deletions