tree 7a1aa0b9ca731eb198e50c13b5edf634f14b7888
parent 0b5aab68206744f6a41abba63aaa3714f354fa83
parent 0fc4b128d290b20c4ef962d30529faae6e89a169
author Edwin Kempin <ekempin@google.com> 1545913357 +0100
committer Edwin Kempin <ekempin@google.com> 1545913357 +0100

Merge branch stable-2.9

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

Change-Id: I05ef83fe0facd8a00d4b124c13947137c0afdae4