Skip to content

Add slice::<impl Default for &mut [u8]>::default to certified core subset#2433

Merged
bors-ferrocene[bot] merged 1 commit into
mainfrom
jh/core-slice-default
Jul 1, 2026
Merged

Add slice::<impl Default for &mut [u8]>::default to certified core subset#2433
bors-ferrocene[bot] merged 1 commit into
mainfrom
jh/core-slice-default

Conversation

@Urhengulas

Copy link
Copy Markdown
Member

No description provided.

@Urhengulas

Copy link
Copy Markdown
Member Author

bors merge

@bors-ferrocene

bors-ferrocene Bot commented Jul 1, 2026

Copy link
Copy Markdown
Contributor

Build succeeded:

@bors-ferrocene
bors-ferrocene Bot merged commit 34a6d6d into main Jul 1, 2026
4 checks passed
@bors-ferrocene
bors-ferrocene Bot deleted the jh/core-slice-default branch July 1, 2026 13:31
@github-actions github-actions Bot added backport:maybe PR candidate for backport merged-in:1.98 labels Jul 1, 2026
@Urhengulas Urhengulas added backport:1.97 and removed backport:maybe PR candidate for backport labels Jul 15, 2026
bors-ferrocene Bot added a commit that referenced this pull request Jul 16, 2026
2487: Backport to `release/1.97` r=tshepang a=ferrocene-automations[bot]

This PR backports the following PRs to the `release/1.97` branch:

* #2429
* #2433
* #2388
* #2475

Note that the automation failed to backport some PRs automatically. Check out the [backport:manual](https://github.com/ferrocene/ferrocene/pulls?q=is%3Apr+label%3Abackport%3Amanual) for a list of them.

Co-authored-by: Urhengulas <[email protected]>
Co-authored-by: Tshepang Mbambo <[email protected]>
Co-authored-by: Felix Gilcher <[email protected]>
bors-ferrocene Bot added a commit that referenced this pull request Jul 16, 2026
2487: Backport to `release/1.97` r=jyn514 a=ferrocene-automations[bot]

This PR backports the following PRs to the `release/1.97` branch:

* #2429
* #2433
* #2364 (currently unmerged)
* #2475

Note that the automation failed to backport some PRs automatically. Check out the [backport:manual](https://github.com/ferrocene/ferrocene/pulls?q=is%3Apr+label%3Abackport%3Amanual) for a list of them.

Co-authored-by: Urhengulas <[email protected]>
Co-authored-by: Felix Gilcher <[email protected]>
Co-authored-by: Ana Hobden <[email protected]>
bors-ferrocene Bot added a commit that referenced this pull request Jul 16, 2026
2487: Backport to `release/1.97` r=jyn514 a=ferrocene-automations[bot]

This PR backports the following PRs to the `release/1.97` branch:

* #2429
* #2433
* #2364 (currently unmerged)
* #2475

Note that the automation failed to backport some PRs automatically. Check out the [backport:manual](https://github.com/ferrocene/ferrocene/pulls?q=is%3Apr+label%3Abackport%3Amanual) for a list of them.

Co-authored-by: Urhengulas <[email protected]>
Co-authored-by: Felix Gilcher <[email protected]>
Co-authored-by: Ana Hobden <[email protected]>
bors-ferrocene Bot added a commit that referenced this pull request Jul 16, 2026
2487: Backport to `release/1.97` r=jyn514 a=ferrocene-automations[bot]

This PR backports the following PRs to the `release/1.97` branch:

* #2429
* #2433
* #2364 (currently unmerged)
* #2475

Note that the automation failed to backport some PRs automatically. Check out the [backport:manual](https://github.com/ferrocene/ferrocene/pulls?q=is%3Apr+label%3Abackport%3Amanual) for a list of them.

Co-authored-by: Urhengulas <[email protected]>
Co-authored-by: Felix Gilcher <[email protected]>
Co-authored-by: Ana Hobden <[email protected]>
@ferrocene-automations ferrocene-automations Bot added the backport:manual PR requiring manual intervention to backport label Jul 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport:manual PR requiring manual intervention to backport backport:1.97 merged-in:1.98

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants