Skip to content

Comments

Make Mike a former editor#60

Open
jyasskin wants to merge 1 commit intomainfrom
jyasskin-mike-former-editor
Open

Make Mike a former editor#60
jyasskin wants to merge 1 commit intomainfrom
jyasskin-mike-former-editor

Conversation

@jyasskin
Copy link
Member

Applying a round of editor cleanups; please check that the remaining editors are the right set.

@jyasskin jyasskin requested review from estark37 and mikewest April 29, 2022 00:13
@jyasskin jyasskin requested a review from carlosjoan91 May 9, 2022 16:47
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