Skip to content

C++: Add inline namespace support#740

Merged
nickrolfe merged 3 commits into
github:masterfrom
ian-semmle:inline_ns
Jan 15, 2019
Merged

C++: Add inline namespace support#740
nickrolfe merged 3 commits into
github:masterfrom
ian-semmle:inline_ns

Conversation

@ian-semmle

Copy link
Copy Markdown
Contributor

No description provided.

@ian-semmle ian-semmle added C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR labels Jan 10, 2019
@ian-semmle ian-semmle requested a review from a team as a code owner January 10, 2019 11:38
jbj
jbj previously approved these changes Jan 10, 2019
@nickrolfe

Copy link
Copy Markdown
Contributor

@jbj I can't see what your review said. Are you happy for me to merge this?

@jbj jbj left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Yes, I'm happy for this to be merged (together with the internal PR).

@nickrolfe nickrolfe merged commit 371c09d into github:master Jan 15, 2019
@ian-semmle ian-semmle deleted the inline_ns branch January 15, 2019 13:27
cklin pushed a commit that referenced this pull request May 20, 2022
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.

4 participants