diff options
author | John Högberg <[email protected]> | 2018-12-07 12:31:33 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2018-12-07 12:31:33 +0100 |
commit | 689f9d5cf041ed9c16b4b31a66c50eac57b2f6f0 (patch) | |
tree | ece2f373bfd5d4a5a1d070e6224c06b08848f769 /lib | |
parent | ea7d6c39f2179b2240d55df4a1ddd515b6d32832 (diff) | |
parent | 1d549eddbeeccf7d108310466de5f63af04b004c (diff) | |
download | otp-689f9d5cf041ed9c16b4b31a66c50eac57b2f6f0.tar.gz otp-689f9d5cf041ed9c16b4b31a66c50eac57b2f6f0.tar.bz2 otp-689f9d5cf041ed9c16b4b31a66c50eac57b2f6f0.zip |
Merge pull request #2046 from jhogberg/john/erts/mark-pooled-free-blocks-unused/OTP-15075
Mark free blocks in pooled carriers as unused
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions