Skip to content

Replace defunct email address#2537

Merged
tintou merged 1 commit intomainfrom
jeremypw/update-email
Mar 6, 2025
Merged

Replace defunct email address#2537
tintou merged 1 commit intomainfrom
jeremypw/update-email

Conversation

@jeremypw
Copy link
Contributor

@jeremypw jeremypw commented Mar 6, 2025

No description provided.

@tintou tintou merged commit 7147183 into main Mar 6, 2025
4 checks passed
@tintou tintou deleted the jeremypw/update-email branch March 6, 2025 14:40
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.

2 participants