Skip to content

[beta] backport #115901

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 4 commits into from
Sep 17, 2023
Merged

[beta] backport #115901

merged 4 commits into from
Sep 17, 2023

Conversation

Mark-Simulacrum
Copy link
Member

This PR backports:

r? @Mark-Simulacrum

@rustbot
Copy link
Collaborator

rustbot commented Sep 16, 2023

⚠️ Warning ⚠️

  • Pull requests are usually filed against the master branch for this repo, but this one is against beta. Please double check that you specified the right target!

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Sep 16, 2023
@Mark-Simulacrum
Copy link
Member Author

@bors r+ rollup=never

@bors
Copy link
Collaborator

bors commented Sep 17, 2023

📌 Commit 028f340 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 Sep 17, 2023
@bors
Copy link
Collaborator

bors commented Sep 17, 2023

⌛ Testing commit 028f340 with merge 9b95397...

@bors
Copy link
Collaborator

bors commented Sep 17, 2023

☀️ Test successful - checks-actions
Approved by: Mark-Simulacrum
Pushing 9b95397 to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Sep 17, 2023
@bors bors merged commit 9b95397 into rust-lang:beta Sep 17, 2023
@rustbot rustbot added this to the 1.73.0 milestone Sep 17, 2023
@Mark-Simulacrum Mark-Simulacrum deleted the beta-backport branch September 18, 2023 13:47
bors-ferrocene bot added a commit to ferrocene/ferrocene that referenced this pull request Oct 26, 2023
67: Automated pull from upstream `stable` r=pietroalbini a=github-actions[bot]


This PR pulls the following changes from the upstream repository:

* rust-lang/rust#116364
* rust-lang/rust#116279
* rust-lang/rust#115819
* rust-lang/rust#116044
* rust-lang/rust#115901
* rust-lang/rust#115722
* rust-lang/rust#115442
* rust-lang/rust#115282
* rust-lang/rust#115195
* rust-lang/rust#115056



Co-authored-by: Mark Rousskov <mark.simulacrum@gmail.com>
Co-authored-by: bors <bors@rust-lang.org>
Co-authored-by: Josh Stone <jistone@redhat.com>
Co-authored-by: Jack Huey <31162821+jackh726@users.noreply.github.com>
Co-authored-by: Weihang Lo <me@weihanglo.tw>
Co-authored-by: Tomasz Miąsko <tomasz.miasko@gmail.com>
Co-authored-by: David Tolnay <dtolnay@gmail.com>
Co-authored-by: Scott McMurray <scottmcm@users.noreply.github.com>
Co-authored-by: Camille GILLOT <gillot.camille@gmail.com>
Co-authored-by: Michael Howell <michael@notriddle.com>
Co-authored-by: lcnr <rust@lcnr.de>
Co-authored-by: klensy <klensy@users.noreply.github.com>
Co-authored-by: León Orell Valerian Liehr <me@fmease.dev>
Co-authored-by: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Co-authored-by: bohan <bohan-zhang@foxmail.com>
Co-authored-by: ouz-a <ouz.agz@gmail.com>
Co-authored-by: Georgii Rylov <g0dj4n@gmail.com>
Co-authored-by: Michael Goulet <michael@errs.io>
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants