diff options
author | 2015-11-17 02:44:37 -0500 | |
---|---|---|
committer | 2015-11-17 02:44:37 -0500 | |
commit | 39804bcf37a35ca6a2cb5e49849ce9453c9025bc (patch) | |
tree | 5678aaab6c6d9e4362b67727caec80bf39322bce /src/reduce_local.sig | |
parent | 96537889753c222279e3937495dbc56054b377b9 (diff) |
Make cache flushes happen immediately instead of at end of transaction.
Diffstat (limited to 'src/reduce_local.sig')
0 files changed, 0 insertions, 0 deletions