diff options
| author | Jeremy Harris <jgh146exb@wizmail.org> | 2017-02-11 16:36:23 +0000 |
|---|---|---|
| committer | Jeremy Harris <jgh146exb@wizmail.org> | 2017-02-25 15:18:38 +0000 |
| commit | 64073d9c1d8cf950c0a9ddf54d71cf50f74cec79 (patch) | |
| tree | 332a5bdcedac1253afef038f807af38b93dc26eb /src/OS | |
| parent | a1ffb9714577b05e570d1150cd6a2200c1eb8eb6 (diff) | |
Memory Management: new main-section config option "debug_store" to control extra internal checking
(cherry picked from commit 10919584f8ad580434442c7d971083f91c315bc0)
Signed-off-by: Phil Pennock <pdp@exim.org>
Diffstat (limited to 'src/OS')
0 files changed, 0 insertions, 0 deletions