diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-09 17:23:03 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-09 17:23:03 +0100 |
| commit | 2fe329db48a7f078c8bb960d4e3ce967ab3990f5 (patch) | |
| tree | 24ef111ade85a182e36ebe0265c15225eb2cb238 /crates/hir_ty/src/chalk_db.rs | |
| parent | a3b034938ebe12b29ef37ff6e54bad3c574464be (diff) | |
| parent | 680a0d54e4d2d474ae41f4f4a95c749495a02883 (diff) | |
Merge #8782
8782: internal: fix make API 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