Skip to content

Conversation

@nicolasstucki
Copy link
Contributor

@nicolasstucki
Copy link
Contributor Author

We should merge #8587 first and wait for one nightly build to be generated before merging this one.

@anatoliykmetyuk anatoliykmetyuk merged commit 6cd3a9d into scala:master Mar 24, 2020
@anatoliykmetyuk anatoliykmetyuk deleted the fix-nightly-docs branch March 24, 2020 10:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants