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.

Sign up for GitHub

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

Jump to bottom

Use consistent formatting in Readme #113254

Merged
merged 1 commit into from
Jul 8, 2023
Merged

Use consistent formatting in Readme #113254

merged 1 commit into from
Jul 8, 2023

Conversation

atouchet
Copy link
Contributor

@atouchet atouchet commented Jul 2, 2023

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Jul 2, 2023

r? @Mark-Simulacrum

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

@rustbot rustbot added A-meta Area: Issues about the rust-lang/rust repository. S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jul 2, 2023
tgross35
tgross35 approved these changes Jul 3, 2023
View reviewed changes
Copy link
Contributor

@tgross35 tgross35 left a comment

Choose a reason for hiding this comment

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

No text changed, a bit nicer to read in raw

@Mark-Simulacrum
Copy link
Member

@bors r+ rollup

Seems OK

@bors
Copy link
Contributor

bors commented Jul 8, 2023

📌 Commit 7bb9de8 has been approved by Mark-Simulacrum

It is now in the queue for this repository.

@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 Jul 8, 2023
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Jul 8, 2023
@matthiaskrgr
Rollup merge of rust-lang#113254 - atouchet:rd3, r=Mark-Simulacrum
5959038 
Use consistent formatting in Readme
This was referenced Jul 8, 2023
Closed
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Jul 8, 2023
@bors
Auto merge of rust-lang#113491 - matthiaskrgr:rollup-mueqz7h, r=matth…
83964c1 
…iaskrgr

Rollup of 6 pull requests

Successful merges:

 - rust-lang#113005 (Don't call `query_normalize` when reporting similar impls)
 - rust-lang#113064 (std: edit [T]::swap docs)
 - rust-lang#113138 (Add release notes for 1.71.0)
 - rust-lang#113217 (resolve typerelative ctors to adt)
 - rust-lang#113254 (Use consistent formatting in Readme)
 - rust-lang#113482 (Migrate GUI colors test to original CSS color format)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit dd83228 into rust-lang:master Jul 8, 2023
11 checks passed
@rustbot rustbot added this to the 1.72.0 milestone Jul 8, 2023
@atouchet atouchet deleted the rd3 branch July 9, 2023 05:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tgross35 tgross35 tgross35 approved these changes

Assignees

@Mark-Simulacrum Mark-Simulacrum

Labels
A-meta Area: Issues about the rust-lang/rust repository. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
1.72.0
Development

Successfully merging this pull request may close these issues.
5 participants
@atouchet @rustbot @Mark-Simulacrum @bors @tgross35