Skip to content

Conversation

@allcontributors
Copy link
Contributor

Add @revolunet as a contributor for doc.

This was requested by EndBug in this comment

@EndBug EndBug merged commit c5ea534 into main May 30, 2022
@EndBug EndBug deleted the all-contributors/add-revolunet branch May 30, 2022 13:59
@EndBug EndBug added the type: docs Documentation changes label Oct 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: docs Documentation changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants