diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-05-04 15:56:54 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-05-08 12:18:19 +0900 |
| commit | 077a34e0b9401f9bcea991d850f1111a70e7d3d1 (patch) | |
| tree | 7de81310ab49fdc81dcef530cef583f00a82b3e9 /patch-ids.c | |
| parent | 2d4dcf210e156153a9c1b11bc60d647d5a327624 (diff) | |
| download | git-077a34e0b9401f9bcea991d850f1111a70e7d3d1.tar.gz | |
pack-redundant: plug memory leak
Identified via Coverity.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'patch-ids.c')
0 files changed, 0 insertions, 0 deletions