tree 87b961156b37f3cfe8faca943ec73fbd8cf070e4
parent 5a0cc4ad2ff1404bfa7dff514385fb3581e7b6cb
parent c3cd3427a44015dda3c1e165090c9b7c44875adb
author Luca Milanesio <luca.milanesio@gmail.com> 1537050301 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1537050419 +0100

Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Align Gerrit API version to 2.14.12
  Upgrade sbt plugins

Change-Id: Ib0f2d009a244727c650057bdb108e564b8f59c38