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>
4.8 KiB
4.8 KiB