tree d6f69206b1b776859aef26e8c9566c1657e1a102
parent b8de96e0e0105e7316d1a215395d69ffc98e72b6
parent e6bdafed551796d0590c6f95c33d66cc61d68e98
author Luca Milanesio <luca.milanesio@gmail.com> 1556059293 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1556059293 +0100

Merge branch 'stable-2.13' into stable-2.14

* stable-2.13:
  Set version to 2.13.14 and require Java 8
  Set version to 2.13.13

Change-Id: I5712c0a98d1e60a01160eaf505e3c33f8cbfa963