Skip to content

docs: add ocean90 as a contributor#129

Merged
EndBug merged 2 commits intomasterfrom
all-contributors/add-ocean90
Jan 5, 2021
Merged

docs: add ocean90 as a contributor#129
EndBug merged 2 commits intomasterfrom
all-contributors/add-ocean90

Conversation

@allcontributors
Copy link
Copy Markdown
Contributor

Adds @ocean90 as a contributor for doc.

This was requested by EndBug in this comment

@EndBug EndBug merged commit 60c7606 into master Jan 5, 2021
@EndBug EndBug deleted the all-contributors/add-ocean90 branch January 5, 2021 16:14
@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