Skip to content

Conversation

@exoego
Copy link
Contributor

@exoego exoego commented Jul 18, 2019

Scala compiler options for 2.13 added in #1435 is broken.
Unfortunately, CI (Drone) did not run properly in the PR somehow, so gave false-success and accidentally merged.

This PR fixes

  • Wrong indentation in choices properties.
  • Some unescaped chars \u and " in string

I then fix generateDocsData command in scala/scala repository to reflect these changes.

@SethTisue SethTisue merged commit 8625f61 into scala:master Jul 18, 2019
@exoego exoego deleted the fix-compiler-options branch July 18, 2019 22:54
@exoego
Copy link
Contributor Author

exoego commented Jul 18, 2019

Opened a bugfix PR in scala/scala#8247

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