]> source.dussan.org Git - sonarqube.git/commitdiff
Automatic merge from branch-5.3
authorJenkins CI <ci@sonarsource.com>
Mon, 14 Dec 2015 21:20:07 +0000 (22:20 +0100)
committerJenkins CI <ci@sonarsource.com>
Mon, 14 Dec 2015 21:20:07 +0000 (22:20 +0100)
* origin/branch-5.3:
  SONAR-7141 Fail fast if server started with Java 1.6
  SONAR-7140 Do not check java.io.tmpdir in bootstrap process
  SONAR-6905 Batch should dump analysis-related URL into a properties file


Trivial merge