+ # Even older Git versions don't support git log --patch but only -p.
+ if ! git log --patch >/dev/null 2>&1; then
+ echo 'gitconfig: replacing git log --patch with -p'
+ sed_i 's/log --patch/log -p/' gitconfig
+ fi
+ # If coloredstderr is used to color stderr then remove the workaround for
+ # missing output to stderr.