Browse Source
We are sure that after merge_base_index() is done. cache-tree can still be used with the final index. So don't destroy cache tree. Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>maint
Nguyễn Thái Ngọc Duy
11 years ago
committed by
Junio C Hamano
3 changed files with 4 additions and 1 deletions
Loading…
Reference in new issue