Skip to content

Fix typo (thumbv8m.main-none-eabihf is Mainline) - #75919

Merged
bors merged 1 commit into
masterfrom
jonas-schievink-patch-1
Aug 30, 2020
Merged

Fix typo (thumbv8m.main-none-eabihf is Mainline)#75919
bors merged 1 commit into
masterfrom
jonas-schievink-patch-1

Conversation

@jonas-schievink

Copy link
Copy Markdown
Contributor

No description provided.

@rust-highfive

Copy link
Copy Markdown
Contributor

r? @steveklabnik

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

@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 25, 2020
@ehuss

Copy link
Copy Markdown
Contributor

Oops, not sure how I mixed that up.

@bors r+ rollup

@bors

bors commented Aug 25, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit d9b075a has been approved by ehuss

@borsbors 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 Aug 25, 2020
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request Aug 27, 2020
…r=ehuss
Fix typo (`thumbv8m.main-none-eabihf` is Mainline)
emilyalbini added a commit to emilyalbini/rust that referenced this pull request Aug 28, 2020
…r=ehuss
Fix typo (`thumbv8m.main-none-eabihf` is Mainline)
@bors

bors commented Aug 30, 2020

Copy link
Copy Markdown
Collaborator

⌛ Testing commit d9b075a with merge 360eb34...

@bors

bors commented Aug 30, 2020

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-actions, checks-azure
Approved by: ehuss
Pushing 360eb34 to master...

@borsbors added the merged-by-bors This PR was explicitly merged by bors. label Aug 30, 2020
@bors
bors merged commit 360eb34 into masterAug 30, 2020
@jonas-schievink
jonas-schievink deleted the jonas-schievink-patch-1 branch August 30, 2020 10:46
@cuvipercuviper added this to the 1.48.0 milestone Nov 17, 2023
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-borsThis PR was explicitly merged by bors.S-waiting-on-borsStatus: 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

@jonas-schievink@rust-highfive@ehuss@bors@steveklabnik@cuviper