diff options
| author | Kees Cook <keescook@chromium.org> | 2020-07-29 14:36:42 -0700 |
|---|---|---|
| committer | Kees Cook <keescook@chromium.org> | 2020-08-17 14:32:44 -0700 |
| commit | d6bd5201f7eaa9c15ea9b0f8ff17dd7bc3b9d78f (patch) | |
| tree | dfde54d2bb3981efff09b7b73b1bf3c23daabb0f /lib/mpi/mpi-cmp.c | |
| parent | 9123e3a74ec7b934a4a099e98af6a61c2f80bbf5 (diff) | |
mailmap: Restore dictionary sorting
Several names had been recently appended (instead of inserted). While
git-shortlog doesn't need this file to be sorted, it helps humans to
keep it organized this way. Sort the entire file (which includes some
minor shuffling for dictionary order).
Done with the following commands:
grep -E '^(#|$)' .mailmap > .mailmap.head
grep -Ev '^(#|$)' .mailmap > .mailmap.body
sort -f .mailmap.body > .mailmap.body.sort
cat .mailmap.head .mailmap.body.sort > .mailmap
rm .mailmap.head .mailmap.body.sort
Signed-off-by: Kees Cook <keescook@chromium.org>
Diffstat (limited to 'lib/mpi/mpi-cmp.c')
0 files changed, 0 insertions, 0 deletions