Created attachment 178206 [details]
Patch to update lang/scala-docs to version 2.12.1
I've included a patch that updates lang/scala-docs to version 2.12.1.
It was tested locally without problems. Portlint hints at defining a license but to me it is not clear what license applies to the scala documentation.
In the future, please take care to select "Individual port(s)" from the
Component dropdown menu so that more committers than just those in portgmr@ can
have a look at it.
A commit references this bug:
Date: Tue Apr 18 08:22:11 UTC 2017
New revision: 438765
Update to 2.12.1 release.
Submitted by: Jens Grassel <firstname.lastname@example.org>