Skip to content

Conversation

@jketema
Copy link
Contributor

@jketema jketema commented Nov 8, 2025

No description provided.

@jketema jketema added the no-change-note-required This PR does not need a change note label Nov 8, 2025
@github-actions github-actions bot added the C++ label Nov 8, 2025
@jketema jketema added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Nov 8, 2025
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 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.

1 participant