mirror of
https://github.com/git/git.git
synced 2026-04-02 04:50:12 +02:00
It doesn't seem to make any difference, but revision_tree() requires a lock. Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>