PR #3316 Fix community contributor's name.

Fix community contributor's name. #3316

anthonyshew merged 2 commits into main from anthonyshew-patch-2

Fix community contributor's name.

7f5feae2

anthonyshew requested a review 3 years ago

anthonyshew requested a review from

nathanhammond 3 years ago

anthonyshew requested a review from

arlyon 3 years ago

github-actions added area: docs

anthonyshew enabled auto-merge (squash) 3 years ago

arlyon approved these changes on 2023-01-17

Merge branch 'main' into anthonyshew-patch-2

30740978

anthonyshew merged 13da9f43 into main 3 years ago

anthonyshew deleted the anthonyshew-patch-2 branch 3 years ago

Reviewers

arlyon

nathanhammond

Assignees

No one assigned

Labels

area: docs

Milestone

No milestone