Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Issue 3426. Adding myself to the contributors. (#8696)
This is a long due edit. This comes from contributions 938407f. The initial commits that initially made this CONTRIBUTORS change were 9146290 and b7bbeeb. They were part of PR #3433, but this line never made it to the cherry-pick.
- Loading branch information