diff options
author | 2017-04-13 15:44:29 -0800 | |
---|---|---|
committer | 2017-04-13 17:04:07 -0700 | |
commit | dd3a6d364a739496b864e61e9a93c21cbc1b5d1d (patch) | |
tree | 6fe163e06959207b586ea6ce6a5277eac90535ae /LICENSE | |
parent | c8399f61ea845b0c440d13407429a92f6a0591e3 (diff) |
Only record the cost graph in the queue runner: this ensures that the memory
usage remains bounded over time.
Change: 153123196
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions