Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Apr 10, 2018

These comments were left behind after later commits in #16274 -- sourceFileIsRedirectedTo no longer exists, only redirectTargetsSet does.

@ghost ghost requested review from amcasey and aozgaa April 10, 2018 21:32
@ghost ghost merged commit a004571 into master Apr 11, 2018
@ghost ghost deleted the redirectTargetsSet branch April 11, 2018 14:56
@microsoft microsoft locked and limited conversation to collaborators Jul 25, 2018
This pull request was closed.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant