diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-24 07:09:21 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-24 07:09:21 +0100 |
| commit | dc6178ddd99a69cd1ecc57545d095c27d9a7b5c4 (patch) | |
| tree | 6a4d41e9b6e195dcf664f7369d6d07ca29a58635 /crates/hir_ty/src/chalk_db.rs | |
| parent | 95996ea452f8c2d4522cd83455d80b0617f2b1ca (diff) | |
| parent | 03f5e53678c6ff43dc5d052da557cc2bea697cd9 (diff) | |
Merge #8641
8641: minor r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/chalk_db.rs')
0 files changed, 0 insertions, 0 deletions