Skip to content

Conversation

jiminhsieh
Copy link
Member

Fix #704.
Same issue as this PR - scala/docs.scala-lang#851

@heathermiller
Copy link
Member

Thank you!! ❤️ (And sorry for the delay on this; I must've missed the notification!)

@heathermiller heathermiller merged commit 0892eb7 into scala:master Aug 29, 2017
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