]> source.dussan.org Git - sonarqube.git/commitdiff
Automatic merge from branch-5.1
authorJenkins CI <ci@sonarsource.com>
Thu, 26 Feb 2015 09:25:12 +0000 (10:25 +0100)
committerJenkins CI <ci@sonarsource.com>
Thu, 26 Feb 2015 09:25:12 +0000 (10:25 +0100)
* origin/branch-5.1:
  SONAR-6012 Push forgotten update of batch input proto
  SONAR-6075 Hide projects and authors facets on a developer technical project
  Increase reliability of ProgressLoggerTest on slow machines


Trivial merge