Skip to content

Conversation

@jketema
Copy link
Contributor

@jketema jketema commented Mar 19, 2024

No description provided.

@jketema jketema added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Mar 19, 2024
@github-actions github-actions bot added the C++ label Mar 19, 2024
@jketema jketema marked this pull request as ready for review March 20, 2024 09:10
@jketema jketema requested a review from a team as a code owner March 20, 2024 09:10
@jketema jketema merged commit 1fd1192 into github:main Mar 20, 2024
@jketema jketema deleted the destructors16 branch March 20, 2024 13:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants