Skip to content

Conversation

ian-semmle
Copy link
Contributor

@ian-semmle ian-semmle commented Jul 18, 2019

@ian-semmle ian-semmle added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Jul 18, 2019
@ian-semmle ian-semmle requested a review from a team as a code owner July 18, 2019 15:19
@ian-semmle ian-semmle added the C++ label Jul 18, 2019
@ian-semmle ian-semmle force-pushed the lambda branch 3 times, most recently from d1529f8 to 9789da7 Compare July 26, 2019 14:51
@nickrolfe nickrolfe merged commit 54b30f5 into github:master Jul 29, 2019
@ian-semmle ian-semmle deleted the lambda branch July 29, 2019 10:17
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.

3 participants