Skip to content

docs: update contributors - #53

Merged
smorin merged 1 commit into
mainfrom
contributors-please/update
Jul 17, 2026
Merged

docs: update contributors#53
smorin merged 1 commit into
mainfrom
contributors-please/update

Conversation

@contributors-please-smorin

@contributors-please-smorin contributors-please-smorin Bot commented Jul 17, 2026

Copy link
Copy Markdown
Contributor

Generated by contributors-please.

@contributors-please-smorin contributors-please-smorin Bot added the contributors-please: pending Pull request opened by contributors-please label Jul 17, 2026
@github-actions
github-actions Bot force-pushed the contributors-please/update branch from 2a3d23a to 18723f0 Compare July 17, 2026 05:08
@smorin
smorin merged commit 3d48ef9 into main Jul 17, 2026
20 checks passed
@smorin
smorin deleted the contributors-please/update branch July 17, 2026 05:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

contributors-please: pending Pull request opened by contributors-please

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant