tree 5216926aff7099c53893c5ccf34910d2d81d2e57
parent 35ac0fdbd5d4661dfe2b85d4a9eeecd1f2a79080
parent b312d55a9657ebd7fcb5a5a8461b8b91c485b145
author Luca Milanesio <luca.milanesio@gmail.com> 1791481289 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1791481289 +0100

Merge branch 'stable-3.15'

* stable-3.15:
  Align the look&feel of the plugin manager with the intro page
  Fetch Gerrit version dynamically in intro.html
  Modernise Gerrit intro page

Change-Id: Ia0cdef91bd887150fc66e39abd9225b046d9a357