Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

[pull] main from rust-lang:main #212

Merged
merged 10 commits into from
Jun 26, 2023
Merged

[pull] main from rust-lang:main #212

merged 10 commits into from
Jun 26, 2023

Conversation

pull[bot]
Copy link

@pull pull bot commented Jun 26, 2023

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

novanish and others added 10 commits June 23, 2023 17:18
…ad of 'Option'

Refactor the comment in the code to provide a more accurate description of the construct being used. Replace the mention of Option with Result.
refactor: Update comment to use correct construct name 'Result' inste…
docs: add novanish as a contributor for content
chore: use correct line number in strings2.rs hint
docs: add vnprc as a contributor for content
@pull pull bot added the ⤵️ pull label Jun 26, 2023
@pull pull bot merged commit a6b562b into yammmt:main Jun 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants