diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-11-25 15:38:58 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-11-25 15:38:58 +0100 |
| commit | f22401750505d281a092034342058fc588b62ea0 (patch) | |
| tree | 8d3136b8d2f9cadadf5a552a3af21a1e26114590 /AUTHORS | |
| parent | 85aa6d17c727a5899490aa82b0ece9ac95972c66 (diff) | |
fix a few more leaks
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions