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

Same than #4832 but signed #4836

Merged
merged 4 commits into from
Feb 2, 2022
Merged

Same than #4832 but signed #4836

merged 4 commits into from
Feb 2, 2022

Conversation

chevdor
Copy link
Contributor

@chevdor chevdor commented Feb 2, 2022

See #4832

@chevdor chevdor requested a review from a team as a code owner February 2, 2022 15:56
@github-actions github-actions bot added the A0-please_review Pull request needs code review. label Feb 2, 2022
@chevdor chevdor requested a review from coderobe February 2, 2022 15:58
@chevdor chevdor added B7-runtimenoteworthy C1-low PR touches the given topic and has a low impact on builders. D3-trivial 🧸 PR contains trivial changes in a runtime directory that do not require an audit. labels Feb 2, 2022
@chevdor chevdor merged commit 41ab002 into release-v0.9.16 Feb 2, 2022
@chevdor chevdor deleted the wk-maras-pr-signed branch February 2, 2022 16:00
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. C1-low PR touches the given topic and has a low impact on builders. D3-trivial 🧸 PR contains trivial changes in a runtime directory that do not require an audit.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants