[GitHub] incubator-spark pull request: SPARK-1085: Fix Jenkins pull request...

[rxin]

Github user rxin commented on the pull request:

    https://github.com/apache/incubator-spark/pull/590#issuecomment-34947355
  
    That's a good idea. I will submit a PR.