diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-11 14:48:27 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-11 14:48:27 +0000 |
commit | 57ea320ffc7668b58e7503a14ecc50cea19605ca (patch) | |
tree | 91695dcf6f26595b5e517d9918812ea9b365cf42 /editors/code/src/toolchain.ts | |
parent | f304ce329f5c40f52572be7dbe29224033516c10 (diff) | |
parent | 777d8dca26047958d540d83fcefdd34171e62a86 (diff) |
Merge #6825
6825: Fix memory usage metrics r=jonas-schievink a=jonas-schievink
Let's see if this fixes https://github.com/rust-analyzer/rust-analyzer/issues/6808
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors/code/src/toolchain.ts')
0 files changed, 0 insertions, 0 deletions