Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

add default function name in comment #838

Merged
merged 1 commit into from
Sep 21, 2021

Conversation

Weilet
Copy link
Contributor

@Weilet Weilet commented Sep 7, 2021

@shadows-withal shadows-withal merged commit 0a11bad into rust-lang:main Sep 21, 2021
@shadows-withal
Copy link
Member

@all-contributors please add @Weilet for content

@allcontributors
Copy link
Contributor

@diannasoriel

I've put up a pull request to add @Weilet! 🎉

bugaolengdeyuxiaoer pushed a commit to bugaolengdeyuxiaoer/rustlings that referenced this pull request Dec 28, 2021
ppp3 pushed a commit to ppp3/rustlings that referenced this pull request May 23, 2022
dmoore04 pushed a commit to dmoore04/rustlings that referenced this pull request Sep 11, 2022
Spacebody pushed a commit to Spacebody/my-rustlings that referenced this pull request Nov 18, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants