Skip to content

Conversation

aschackmull
Copy link
Contributor

This is PR #5226 plus a merge from main.

@aschackmull aschackmull added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Mar 4, 2021
@aschackmull aschackmull requested review from a team as code owners March 4, 2021 10:41
@aschackmull aschackmull added the no-change-note-required This PR does not need a change note label Mar 4, 2021
@smowton
Copy link
Contributor

smowton commented Mar 4, 2021

Doesn't look like the merge worked

@aschackmull
Copy link
Contributor Author

The "Java Language Tests" is supposed to fail here. It'll be fixed by the internal PR.

@aschackmull
Copy link
Contributor Author

The merge is such that the internal PR is able to update the submodule.

@aschackmull aschackmull merged commit f9365dc into github:main Mar 4, 2021
@aschackmull aschackmull deleted the java/merge-5226 branch March 4, 2021 12:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C# C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR documentation Java JS no-change-note-required This PR does not need a change note Python

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants