diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-04 02:27:14 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-04 02:27:14 +0100 |
| commit | c9bcbf9a43eb0bf1a5255f704080305e568f0a36 (patch) | |
| tree | 419589eddb34fab7b627e2d4ea11fd6cced6f5cf /lib/arena/src/map.rs | |
| parent | 3ea5ea1324310af07a8bb04fb3314b087d7153c9 (diff) | |
| parent | 1da6d0bed9d8ead94a88db343efe2a4e91644be1 (diff) | |
Merge #8324
8324: Add `Body::shrink_to_fit` r=jonas-schievink a=jonas-schievink
Saves ~15 MB
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'lib/arena/src/map.rs')
0 files changed, 0 insertions, 0 deletions