Skip to content

Conversation

@jcreedcmu
Copy link
Contributor

No description provided.

@jcreedcmu jcreedcmu requested a review from a team as a code owner March 4, 2019 11:20
xiemaisi
xiemaisi previously approved these changes Mar 4, 2019
@xiemaisi xiemaisi added the JS label Mar 4, 2019
@xiemaisi xiemaisi added this to the 1.20 milestone Mar 4, 2019
@xiemaisi
Copy link

xiemaisi commented Mar 5, 2019

Needs a rebase due to #1032; hopefully this should just leave the last two commits.

@semmle-qlci semmle-qlci merged commit 420b14b into github:rc/1.20 Mar 6, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants