diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-24 09:53:55 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-24 09:53:55 +0100 |
commit | ca19c63f2065f9e2d5d6178f006d909d64b9c219 (patch) | |
tree | 25b8e1f83732116dbc42e8626a3351b287729e72 /crates/hir_ty/src/interner.rs | |
parent | 495c9586ec51e0cf9b06397d99ec4f65c55e7a28 (diff) | |
parent | df146341c506a0ac5cf6ac4dab012f13c479ae97 (diff) |
Merge #8959
8959: fix: can download server binary on windows again r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/interner.rs')
0 files changed, 0 insertions, 0 deletions