mirror of
https://github.com/git/git.git
synced 2026-03-12 01:49:49 +01:00
Remove an accidentally duplicated sequence of 10 lines. This happens to plug a leak, too. Signed-off-by: Junio C Hamano <gitster@pobox.com>
7.6 KiB
7.6 KiB