diff options
author | Jonas Schievink <[email protected]> | 2020-12-11 17:18:27 +0000 |
---|---|---|
committer | Jonas Schievink <[email protected]> | 2020-12-11 17:18:27 +0000 |
commit | c007ac38307f4915fea367bbcaae137f97a10fbe (patch) | |
tree | a3cf9b7d88bd7d1d274b24914e71a1303f08cafb /crates/ide/src/lib.rs | |
parent | 64752ef5e9ccfdb0b9321fe23812b9b112d8b306 (diff) |
Avoid panic when collecting memory metrics
Diffstat (limited to 'crates/ide/src/lib.rs')
0 files changed, 0 insertions, 0 deletions