sbt 1.12.13

The headline feature of sbt 1.12.13 is: &#xA; &#xA; Fixes file permissions issue &#xA; &#xA; See also 1.12.0 release note for the details on 1.12.x features.