correct some minor bugs.

scala / docs.scala-lang

The Scala Documentation website

http://docs.scala-lang.org

559 stars 1.02k forks source link

Closed benluo closed 6 months ago

SethTisue commented 6 months ago

We can ignore the CI failure, as it is unrelated to the changes in the PR.