Skip to content

Conversation

jonathanpallant
Copy link
Contributor

Cherry picked a couple of commits that didn't quite make it in #113535

@rustbot
Copy link
Collaborator

rustbot commented Jul 24, 2023

r? @GuillaumeGomez

(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 24, 2023
@GuillaumeGomez
Copy link
Member

I think @Amanieu might know.

r? @Amanieu

@rustbot rustbot assigned Amanieu and unassigned GuillaumeGomez Jul 24, 2023
@Amanieu
Copy link
Member

Amanieu commented Jul 24, 2023

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jul 24, 2023

📌 Commit 34e01d5 has been approved by Amanieu

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 24, 2023
bors added a commit to rust-lang-ci/rust that referenced this pull request Jul 24, 2023
…iaskrgr

Rollup of 8 pull requests

Successful merges:

 - rust-lang#113969 (add dynamic for smir)
 - rust-lang#113985 (Use erased self type when autoderefing for trait error suggestion)
 - rust-lang#113987 (Comment stuff in the new solver)
 - rust-lang#113992 (arm-none fixups)
 - rust-lang#113993 (Optimize format usage)
 - rust-lang#113994 (Optimize format usage)
 - rust-lang#114006 (Update sparc-unknown-none-elf platform README)
 - rust-lang#114021 (Add missing documentation for `Session::time`)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 4ee3266 into rust-lang:master Jul 24, 2023
@rustbot rustbot added this to the 1.73.0 milestone Jul 24, 2023
@jonathanpallant jonathanpallant deleted the update-sparc-unknown-readme branch August 21, 2023 16:05
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.

5 participants