Skip to content

docs: add Jianru-Lin as a contributor for doc#8763

Merged
davepagurek merged 2 commits into
mainfrom
all-contributors/add-Jianru-Lin
May 3, 2026
Merged

docs: add Jianru-Lin as a contributor for doc#8763
davepagurek merged 2 commits into
mainfrom
all-contributors/add-Jianru-Lin

Conversation

@allcontributors
Copy link
Copy Markdown
Contributor

Adds @Jianru-Lin as a contributor for doc.

This was requested by davepagurek in this comment

[skip ci]

@davepagurek davepagurek merged commit 3b3bd85 into main May 3, 2026
2 of 4 checks passed
@davepagurek davepagurek deleted the all-contributors/add-Jianru-Lin branch May 3, 2026 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant