tree db2062793155340fd2fa0b0d98cc9a4499ef9db6
parent 17abd7f316b037583ab6489ca89f766879486d7e
parent 08dd052d75161a1e3d5a4eff39e0334ab46f148a
author Luca Milanesio <luca.milanesio@gmail.com> 1547160494 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1547160844 +0000

Merge branch 'stable-2.12' into stable-2.13

* stable-2.12:
  Upgrade JGit to 4.5.5.201812240535-r

Change-Id: Ie163ef97fa2c3b12eef720774e7cf333e02e3a49