tree 0d0f07fb9bab7248c2449be2dc6b96b6ec66b59b
parent 40ddff536ba93acf8f9ab974253f3e65148d4f0c
parent 4d852f64c8ddfd5163321c03151c19572df77344
author Luca Milanesio <luca.milanesio@gmail.com> 1556059328 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1556059534 +0100

Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Set Gerrit to 2.14.20
  Set version to 2.13.14 and require Java 8
  Set version to 2.13.13
  Set Gerrit to 2.14.19

Change-Id: I9862ffed803377346cb7da44f29b4d90bd8f2651