diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-04 12:45:40 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-04 12:45:40 +0000 |
| commit | 1bae5509ad64a560c4597a021ab467ba063d12c0 (patch) | |
| tree | c1a3bbed8832b554c6991802f728d99ea6ced088 /.gitignore | |
| parent | 01bc1fdff8b04d373e794af29b18243eb9d15e34 (diff) | |
| parent | 26a2a2433c7bae1533d07a38a6003e6f40fa97d9 (diff) | |
Merge #7554
7554: Don't keep the parent DefMap alive via Arc r=jonas-schievink a=jonas-schievink
This seems like it could easily leak a lot of memory since we don't
currently run GC
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions