mirror of
https://github.com/git/git.git
synced 2026-06-19 15:39:47 +02:00
a8e8191f03
"git diff --anchored=<text>" has been optimized. * pw/diff-anchored-optim: diff --anchored: avoid checking unmatched lines