Skip to content

Conversation

@nicolasstucki
Copy link
Contributor

Now that we have the semanticdb.ExtractSemanticDB phase this project will not be needed.

Now that we have the `semanticdb.ExtractSemanticDB` phase this project will not be needed.
@nicolasstucki nicolasstucki self-assigned this Jan 17, 2020
@nicolasstucki nicolasstucki marked this pull request as ready for review January 17, 2020 15:16
@nicolasstucki nicolasstucki merged commit cc22a36 into scala:master Jan 17, 2020
@nicolasstucki nicolasstucki deleted the remove-old-semanticdb-project branch January 17, 2020 15:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants