Skip to content

minor: Fix a pair of typos #14154

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

Merged
merged 1 commit into from
Feb 15, 2023
Merged

minor: Fix a pair of typos #14154

merged 1 commit into from
Feb 15, 2023

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Feb 15, 2023

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Feb 15, 2023
@lnicola lnicola marked this pull request as draft February 15, 2023 11:12
//! we need anything move complicatied that xor-shift.
//! We currently use oorandom instead, but it's missing these two utilities.
//! Perhaps we should switch to `fastrand`, or our own small PRNG, it's not like
//! we need anything more complicated that xor-shift.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
//! we need anything more complicated that xor-shift.
//! we need anything more complicated than xor-shift.

Copy link
Member Author

@lnicola lnicola Feb 15, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤦 not my best day

@lnicola lnicola marked this pull request as ready for review February 15, 2023 12:11
@lnicola
Copy link
Member Author

lnicola commented Feb 15, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Feb 15, 2023

📌 Commit 6e5ec0b has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Feb 15, 2023

⌛ Testing commit 6e5ec0b with merge 160305b...

@bors
Copy link
Contributor

bors commented Feb 15, 2023

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 160305b to master...

@bors bors merged commit 160305b into rust-lang:master Feb 15, 2023
@lnicola lnicola deleted the rand-typos branch February 15, 2023 12:25
bors added a commit that referenced this pull request Feb 21, 2023
minor: Remove file added by mistake

This got added somehow in #14154.
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants