tree c2507ede413e9bdadbd2055d536c142803a71d92
parent 72a086028fbfb3e597276f2a2984534965645883
parent a52ea118b403e0f8ffc50c77e5471079e18c14d0
author Edwin Kempin <ekempin@google.com> 1546013139 +0100
committer Edwin Kempin <ekempin@google.com> 1546013139 +0100

Merge branch stable-2.13

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

Change-Id: I71d43089fc940af1f52067ebf1823264bd9c7fea