Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Companion for #12641 #6251

Closed
wants to merge 5 commits into from
Closed

Companion for #12641 #6251

wants to merge 5 commits into from

Conversation

cheme
Copy link
Contributor

@cheme cheme commented Nov 8, 2022

@cheme cheme added A0-please_review Pull request needs code review. B0-silent Changes should not be mentioned in any release notes A4-companion A PR that needs a companion PR to merge in parallel for one of its downstream dependencies. C1-low PR touches the given topic and has a low impact on builders. labels Nov 8, 2022
Co-authored-by: Bastian Köcher <git@kchr.de>
@ordian
Copy link
Member

ordian commented Nov 8, 2022

These changes were merged as part of #6106

@cheme
Copy link
Contributor Author

cheme commented Nov 9, 2022

Duplicate

@cheme cheme closed this Nov 9, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A0-please_review Pull request needs code review. A4-companion A PR that needs a companion PR to merge in parallel for one of its downstream dependencies. B0-silent Changes should not be mentioned in any release notes C1-low PR touches the given topic and has a low impact on builders.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants