diff options
| author | Noah Misch | 2016-01-02 02:52:22 +0000 |
|---|---|---|
| committer | Noah Misch | 2016-01-02 02:52:22 +0000 |
| commit | dfcd9cb30237f882b7308bdcbfb0318b22b1e224 (patch) | |
| tree | 2202ac3ce86b3339edeb0425ae4db2510ddae2fd /src/interfaces | |
| parent | c7e27becd2e6eb93b20965b9f22701eaad42a764 (diff) | |
Cover heap_page_prune_opt()'s cleanup lock tactic in README.
Jeff Janes, reviewed by Jim Nasby.
Diffstat (limited to 'src/interfaces')
0 files changed, 0 insertions, 0 deletions