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

Add missing punctuation #78099

Merged
merged 1 commit into from
Oct 19, 2020
Merged

Add missing punctuation #78099

merged 1 commit into from
Oct 19, 2020

Conversation

pierwill
Copy link
Member

No description provided.

@rust-highfive
Copy link
Collaborator

r? @KodrAus

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Oct 19, 2020
@jonas-schievink
Copy link
Contributor

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Oct 19, 2020

📌 Commit 67dc9b7 has been approved by jonas-schievink

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Oct 19, 2020
bors added a commit to rust-lang-ci/rust that referenced this pull request Oct 19, 2020
…laumeGomez

Rollup of 4 pull requests

Successful merges:

 - rust-lang#77877 (Use `try{}` in `try_fold` to decouple iterators in the library from `Try` details)
 - rust-lang#78089 (Fix issue with specifying generic arguments for primitive types)
 - rust-lang#78099 (Add missing punctuation)
 - rust-lang#78103 (Add link to rustdoc book in rustdoc help popup)

Failed merges:

r? `@ghost`
@bors bors merged commit 81180f4 into rust-lang:master Oct 19, 2020
@rustbot rustbot added this to the 1.49.0 milestone Oct 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants