Merge branch 'se/diff'
* se/diff: Convert some "apply --summary" users to "diff --summary". Add "--summary" option to git diff.
This commit is contained in:
* se/diff: Convert some "apply --summary" users to "diff --summary". Add "--summary" option to git diff.