scala/jenkins-scripts — pull request #117 by adriaanm (2014-07-04 09:20:22+00:00)
Title: Check whitespace errors during PR validation.

review by @gkossakowski

Could you update docs and announce on scala-internals?