]> source.dussan.org Git - sonarqube.git/commitdiff
Merge branch 'branch-3.7' of github.com:SonarSource/sonar into branch-3.7
authorEric Hartmann <hartmann.eric@gmail.com>
Thu, 19 Sep 2013 12:49:55 +0000 (14:49 +0200)
committerEric Hartmann <hartmann.eric@gmail.com>
Thu, 19 Sep 2013 12:49:55 +0000 (14:49 +0200)

Trivial merge