Skip to content

Conversation

allcontributors[bot]
Copy link
Contributor

Adds @Petalzu as a contributor for doc.

This was requested by amolenaar in this comment

[skip ci]

@amolenaar amolenaar merged commit 9c8d86c into main Dec 14, 2023
@amolenaar amolenaar deleted the all-contributors/add-Petalzu branch December 14, 2023 13:56
@github-actions github-actions bot added skip-changelog Do not add this entry to the changelog documentation labels Dec 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation skip-changelog Do not add this entry to the changelog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant