Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Mar 4, 2019

#946 did not make it into 1.20 for some reason. This PR cherry-picks the commits, and adds the non-semantic fixup commits of #1019.

@ghost ghost self-requested a review as a code owner March 4, 2019 11:13
@ghost ghost added the JS label Mar 4, 2019
@xiemaisi xiemaisi added the WIP This is a work-in-progress, do not merge yet! label Mar 4, 2019
@xiemaisi
Copy link

xiemaisi commented Mar 4, 2019

Shouldn't be needed if #1032 works out.

@xiemaisi
Copy link

xiemaisi commented Mar 5, 2019

Should no longer be needed.

@xiemaisi xiemaisi closed this Mar 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

JS WIP This is a work-in-progress, do not merge yet!

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant