Skip to content

meta: move mmarchini to emeritus#57

Merged
rvagg merged 1 commit intomasterfrom
mmarchini-emeritus
Apr 19, 2022
Merged

meta: move mmarchini to emeritus#57
rvagg merged 1 commit intomasterfrom
mmarchini-emeritus

Conversation

@mmarchini
Copy link
Copy Markdown
Contributor

@rvagg rvagg merged commit 185110f into master Apr 19, 2022
@rvagg rvagg deleted the mmarchini-emeritus branch April 19, 2022 02:52
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