diff options
| author | Alexander Potapenko <ramosian.glider@gmail.com> | 2017-08-02 08:51:05 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-02 08:51:05 -0700 |
| commit | 695046b7384b028b3bd15e373cfa767f14d3aaee (patch) | |
| tree | a0e42d3b73f4a2b52bb33a787379dd728c836c9c /executor | |
| parent | 44347e87421952fc6038f39e2ef395a2accc414f (diff) | |
| parent | 77825d061df3930de7226ff1fd9293c6fd6677a8 (diff) | |
Merge pull request #320 from ramosian-glider/submit-mmap
prog: don't mutate mmap() calls too often
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions