tree dfde54d2bb3981efff09b7b73b1bf3c23daabb0f
parent 9123e3a74ec7b934a4a099e98af6a61c2f80bbf5
author Kees Cook <keescook@chromium.org> 1596058602 -0700
committer Kees Cook <keescook@chromium.org> 1597699964 -0700

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>