tree 3b69a9cc0c91bcebf3d1ebdcb5f847d38ffaaa1d
parent 5a0cc4ad2ff1404bfa7dff514385fb3581e7b6cb
parent 775971cd5fbedd4fc251e9fb490f69b650b33587
author Luca Milanesio <luca.milanesio@gmail.com> 1537050825 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1537050841 +0100

Merge branch 'stable-2.15'

* stable-2.15:
  Bump sbt to 1.2.3
  Bump Gerrit API version to 2.15.3
  Align Gerrit API version to 2.14.12
  Upgrade sbt plugins

Change-Id: If0c6d97d076ce2261ffffafd3cd0e17db89e21e8