Skip to content

Conversation

@alexet
Copy link

@alexet alexet commented Sep 13, 2023

I have done this a few times. As this is not public it shouldn't make any differences other than when debugging.

@alexet alexet added the no-change-note-required This PR does not need a change note label Sep 13, 2023
@github-actions github-actions bot added the C++ label Sep 13, 2023
@alexet alexet marked this pull request as ready for review September 13, 2023 14:13
@alexet alexet requested a review from a team as a code owner September 13, 2023 14:13
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.

LGTM!

@MathiasVP MathiasVP merged commit 18fa6f5 into github:main Sep 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C++ no-change-note-required This PR does not need a change note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants