Remove mentions of an obsolete issue#3200

kubukoz wants to merge 1 commit intoscala:mainscala/docs.scala-lang:mainfrom

kubukoz:patch-2kubukoz/docs.scala-lang:patch-2Copy head branch name to clipboard