diff options
author | Jack Lloyd <[email protected]> | 2017-04-03 15:04:39 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-04-03 15:04:39 -0400 |
commit | 5b7cbc8b6bd8ed7f9c0dce92c9ae118937c46c4b (patch) | |
tree | a62517746b213abd3f457d2732faa8f9f5f08567 /doc/log.txt | |
parent | f79e642ab8c09971968abdfe6990df6801711e1f (diff) | |
parent | 5430d174f2953d30b66c6aaaac1f311219bbc5de (diff) |
Merge GH #930 Avoid throwing during destructor in memory mapped allocator
Diffstat (limited to 'doc/log.txt')
0 files changed, 0 insertions, 0 deletions