Skip to content

Conversation

@he32
Copy link
Contributor

@he32 he32 commented Jul 12, 2023

…ost.

@rustbot
Copy link
Collaborator

rustbot commented Jul 12, 2023

r? @JohnTitor

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

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 12, 2023
@JohnTitor
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jul 16, 2023

📌 Commit 0030a3a has been approved by JohnTitor

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 16, 2023
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Jul 16, 2023
platform-support.md: It's now verified that NetBSD/riscv64 can self-h…

…ost.
workingjubilee added a commit to workingjubilee/rustc that referenced this pull request Jul 16, 2023
platform-support.md: It's now verified that NetBSD/riscv64 can self-h…

…ost.
bors added a commit to rust-lang-ci/rust that referenced this pull request Jul 16, 2023
…iaskrgr

Rollup of 7 pull requests

Successful merges:

 - rust-lang#113042 (Add Platform Support documentation for MIPS Release 6 targets)
 - rust-lang#113539 (fixed typo)
 - rust-lang#113614 (platform-support.md: It's now verified that NetBSD/riscv64 can self-h…)
 - rust-lang#113750 (Add missing italicization to `sort_unstable_by_key` complexity )
 - rust-lang#113755 (Normalize lazy type aliases when probing for ADTs)
 - rust-lang#113756 (fix wrong link)
 - rust-lang#113762 (Fix typo)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 3ac0a95 into rust-lang:master Jul 17, 2023
@rustbot rustbot added this to the 1.73.0 milestone Jul 17, 2023
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.

4 participants