Skip to content

Conversation

MathiasVP
Copy link
Contributor

@MathiasVP MathiasVP commented May 13, 2020

@MathiasVP MathiasVP added C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR labels May 13, 2020
@MathiasVP
Copy link
Contributor Author

MathiasVP commented May 14, 2020

CPP-differences (https://jenkins.internal.semmle.com/job/Changes/job/CPP-Differences/1130/) shows no performance problems.

@MathiasVP MathiasVP marked this pull request as ready for review May 14, 2020 17:44
@MathiasVP MathiasVP requested a review from a team as a code owner May 14, 2020 17:44
@jbj jbj merged commit 8a0af0b into github:master May 15, 2020
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