Skip to content

docs: add ManuelRauber as a contributor for code#441

Merged
EndBug merged 2 commits intomainfrom
all-contributors/add-ManuelRauber
Oct 11, 2022
Merged

docs: add ManuelRauber as a contributor for code#441
EndBug merged 2 commits intomainfrom
all-contributors/add-ManuelRauber

Conversation

@allcontributors
Copy link
Contributor

Adds @ManuelRauber as a contributor for code.

This was requested by EndBug in this comment

[skip ci]

@EndBug EndBug merged commit 385d2d6 into main Oct 11, 2022
@EndBug EndBug deleted the all-contributors/add-ManuelRauber branch October 11, 2022 16:52
@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