Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update several mailing addresses #32

Merged
merged 3 commits into from
Dec 7, 2023
Merged

Update several mailing addresses #32

merged 3 commits into from
Dec 7, 2023

Conversation

efjepsen
Copy link
Contributor

@efjepsen efjepsen commented Dec 7, 2023

No description provided.

@cjosephson
Copy link
Contributor

cjosephson commented Dec 7, 2023 via email

@efjepsen efjepsen enabled auto-merge (squash) December 7, 2023 22:18
dmtaub
dmtaub approved these changes Dec 7, 2023
View reviewed changes
Copy link

@dmtaub dmtaub left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Assuming the Claymont DE address is correct. Otherwise changes look good.

@dmtaub
Copy link

dmtaub commented Dec 7, 2023

Who is the designated person to approve these nowadays? I hope its not me

Fear not. And feel free to turn notifications off :)

@efjepsen efjepsen force-pushed the update-mailing-addrs branch from 86a8b74 to efd5788 Compare December 7, 2023 22:53
@efjepsen efjepsen merged commit 489c657 into master Dec 7, 2023
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dmtaub dmtaub dmtaub approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@efjepsen @cjosephson @dmtaub