Skip to content

docs: add revolunet as a contributor for doc#402

Merged
EndBug merged 2 commits intomainfrom
all-contributors/add-revolunet
May 30, 2022
Merged

docs: add revolunet as a contributor for doc#402
EndBug merged 2 commits intomainfrom
all-contributors/add-revolunet

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.

1 participant