Skip to content

Add Yuzhong's GitHub link - #115

Merged
qobilidop merged 1 commit into
p4lang:mainfrom
qobilidop:contributor-github-link
Jul 6, 2026
Merged

Add Yuzhong's GitHub link#115
qobilidop merged 1 commit into
p4lang:mainfrom
qobilidop:contributor-github-link

Conversation

@qobilidop

Copy link
Copy Markdown
Member

Fixes #113.

Signed-off-by: Bili Dong <qobilidop@gmail.com>
@qobilidop
qobilidop merged commit 537e266 into p4lang:main Jul 6, 2026
1 check passed
@qobilidop
qobilidop deleted the contributor-github-link branch July 6, 2026 07:44
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.

Yuzhong's GitHub user link is missing

1 participant