diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-03 19:06:11 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-03 19:06:11 +0100 |
| commit | 0d30e535851d99d0e679f1fddb77d2e54f4e387b (patch) | |
| tree | 42d968114fd8d26f32639c7e92bf39170ae4551f /ChangeLog | |
| parent | a9b3c564bdd80ad6d3db0d0c493144956c64368d (diff) | |
remove dead field, avoid unnecessary heap allocation
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions