Skip to content

AUTHORS: add Scott Ehlert [skip ci]#6610

Merged
chrchr-github merged 1 commit intomainfrom
chrchr-github-patch-1
Jul 17, 2024
Merged

AUTHORS: add Scott Ehlert [skip ci]#6610
chrchr-github merged 1 commit intomainfrom
chrchr-github-patch-1

Conversation

@chrchr-github
Copy link
Copy Markdown
Collaborator

No description provided.

@chrchr-github chrchr-github merged commit 3b0b99b into main Jul 17, 2024
@chrchr-github chrchr-github deleted the chrchr-github-patch-1 branch July 17, 2024 12:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant