mirror of
https://github.com/git/git.git
synced 2025-12-23 12:14:22 +01:00
[jc: I needed to hand merge the changes to the updated codebase, so the result needs to be checked.] Signed-off-by: David Rientjes <rientjes@google.com> Signed-off-by: Junio C Hamano <junkio@cox.net>
9.3 KiB
9.3 KiB