Skip to content

Conversation

@jketema
Copy link
Contributor

@jketema jketema commented Jul 6, 2023

Not sure if this warrants a DCA experiment.

@github-actions github-actions bot added the C++ label Jul 6, 2023
@jketema jketema marked this pull request as ready for review July 6, 2023 14:55
@jketema jketema requested a review from a team as a code owner July 6, 2023 14:55
MathiasVP
MathiasVP previously approved these changes Jul 6, 2023
Copy link
Contributor

@MathiasVP MathiasVP left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think this needs a DCA run, no 🎉

@jketema
Copy link
Contributor Author

jketema commented Jul 6, 2023

@MathiasVP I've added a change note for completeness.

@jketema jketema merged commit 572aa13 into github:main Jul 6, 2023
@jketema jketema deleted the product-default branch July 6, 2023 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants