Skip to content

Conversation

jketema
Copy link
Contributor

@jketema jketema commented Jul 31, 2022

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 Jul 31, 2022
@github-actions github-actions bot added the C++ label Jul 31, 2022
@jketema jketema marked this pull request as ready for review August 1, 2022 17:22
@jketema jketema requested a review from a team as a code owner August 1, 2022 17:22
Copy link
Contributor

@geoffw0 geoffw0 left a comment

Choose a reason for hiding this comment

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

LGTM. 👍

@jketema jketema merged commit a63df8f into github:main Aug 2, 2022
@jketema jketema deleted the templ-var branch August 2, 2022 14:59
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