Skip to content

📝 Add georgejl7 as a contributor for doc#2174

Merged
TonyBagnall merged 2 commits into
mainfrom
all-contributors/add-georgejl7
Oct 10, 2024
Merged

📝 Add georgejl7 as a contributor for doc#2174
TonyBagnall merged 2 commits into
mainfrom
all-contributors/add-georgejl7

Conversation

@allcontributors
Copy link
Copy Markdown
Contributor

Adds @georgejl7 as a contributor for doc.

This was requested by georgejl7 in this comment

[skip ci]

@allcontributors allcontributors Bot mentioned this pull request Oct 10, 2024
2 tasks
@aeon-actions-bot aeon-actions-bot Bot added documentation Improvements or additions to documentation no changelog PR should not be added to the changelog labels Oct 10, 2024
@TonyBagnall TonyBagnall merged commit 78d9636 into main Oct 10, 2024
@TonyBagnall TonyBagnall deleted the all-contributors/add-georgejl7 branch October 10, 2024 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation no changelog PR should not be added to the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant