tree f3f01aff794a2a8fefec7830b215719312813f68
parent 53333b3e3f70dfe14ce4c937246a00a2e4bfa3a0
parent 951d84b32e4f2393dbcf7c319e0d3f617838948c
author Edwin Kempin <ekempin@google.com> 1546237821 +0100
committer Edwin Kempin <ekempin@google.com> 1546237821 +0100

Merge branch stable-2.15

* stable-2.15:
  Adapt to the JGit v4.5.x

Change-Id: Ibc0c05aa163f8ef3668e6c043bf9076974c96a3a