Skip to content

Conversation

@max-wittig
Copy link
Member

No description provided.

@JohnVillalovos
Copy link
Member

Thanks! 😊

@JohnVillalovos JohnVillalovos requested a review from nejch July 21, 2022 16:58
@nejch
Copy link
Member

nejch commented Jul 21, 2022

Hehe long time overdue, I guess you don't need my approval here 😅

@nejch nejch merged commit ead9f15 into main Jul 21, 2022
@nejch nejch deleted the docs-author-add-john branch July 21, 2022 20:08
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.

4 participants