aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-02-04 12:45:40 +0000
committerGitHub <[email protected]>2021-02-04 12:45:40 +0000
commit1bae5509ad64a560c4597a021ab467ba063d12c0 (patch)
treec1a3bbed8832b554c6991802f728d99ea6ced088 /.gitignore
parent01bc1fdff8b04d373e794af29b18243eb9d15e34 (diff)
parent26a2a2433c7bae1533d07a38a6003e6f40fa97d9 (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