sbt/sbt — pull request #1303 by jsuereth (2014-05-01 13:56:57+00:00)
Title: Merge 0.13.2

Merges changes since 0.13.2 final into 0.13 branch.