tree d932046ce619864b3b83601fab0e28a6a2d2a3f1
parent 05c2b7ba49e36a6beff30204948dba79451c4233
author Johannes Schindelin <johannes.schindelin@gmx.de> 1493906200 +0200
committer Junio C Hamano <gitster@pobox.com> 1494213499 +0900

checkout: fix memory leak

This change addresses part of the NEEDSWORK comment above the code,
therefore the comment needs to be adjusted, too.

Discovered via Coverity.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>