mirror of
https://github.com/git/git.git
synced 2025-03-30 22:30:35 +00:00
We've removed the workaround for runtime penalty that did not exist in practice some time ago, but the technical paper that proposed that change still said "we probably should do so". Signed-off-by: Junio C Hamano <junkio@cox.net>