mirror of
https://github.com/git/git.git
synced 2026-01-27 19:12:01 +00:00
Start the merging-rebase to 00c598b3f2
The only reason for this merging rebase is that upstream's pu, next *and* master now have a diverging version of the builtin-difftool patch series, making it harder to rebase on top of those integration branches as well as onto the -rc versions. So let's replace v4 of that patch series with the most recent one, and add an extra patch on top that re-instates the "let the user opt-in to use the builtin difftool" until v2.12.0 comes out. This commit starts the rebase of00c598b3f2to00c598b3f2Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
This commit is contained in: