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

Update move_semantics4.rs #640

Merged
merged 1 commit into from
Feb 7, 2021
Merged

Conversation

tal-zvon
Copy link
Contributor

@tal-zvon tal-zvon commented Feb 6, 2021

Removed redundant use of "instead"

Removed redundant use of "instead"
@shadows-withal shadows-withal merged commit cc266d7 into rust-lang:main Feb 7, 2021
@shadows-withal
Copy link
Member

@all-contributors please add @tal-zvon for content

@allcontributors
Copy link
Contributor

@fmoko

I've put up a pull request to add @tal-zvon! 🎉

jkremser pushed a commit to jkremser/rustlings that referenced this pull request Feb 16, 2021
mccormickt pushed a commit to mccormickt/rustlings that referenced this pull request Mar 10, 2021
barder60 pushed a commit to barder60/rustlings that referenced this pull request Apr 13, 2021
tcatonet pushed a commit to tcatonet/rustlings that referenced this pull request Apr 13, 2021
LAymeric pushed a commit to LAymeric/rustlings that referenced this pull request Apr 13, 2021
ingrachen pushed a commit to ingrachen/rustlings that referenced this pull request May 2, 2021
lsagna pushed a commit to lsagna/rustlings that referenced this pull request May 10, 2021
liangminhua pushed a commit to liangminhua/rustlings that referenced this pull request Jul 10, 2021
noiffion pushed a commit to noiffion/rustlings that referenced this pull request Aug 20, 2021
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