diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-02-10 22:50:44 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-02-10 22:50:44 +0000 |
| commit | ed378cd12f05c78c735dffe1c0a6b3cb4337e67d (patch) | |
| tree | 51681fb36fef80a6e5ec401872bfed172171f57a /unix/mpconfigport.h | |
| parent | d46ca25757b9021809946bb7274376c410b699eb (diff) | |
stm: Tidy up memory labels; optimise GC root scanning.
Addresses issues #272 and #273.
Diffstat (limited to 'unix/mpconfigport.h')
0 files changed, 0 insertions, 0 deletions