Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
### Motivation The contributors list is generated using `git shortlog`. Git can use the `.mailmap` file to link commits from the same contributor using different email addresses. ### Modifications Add .mailmap file with initial mappings. ### Result Contributors using different email addresses will not be duplicated. ### Test Plan Re-ran soundness script, no change in contributors file.
- Loading branch information