tree d83b99052ca64cb99e349262b9f396a7df6ece3d
parent 275eeaa3ab917696da1a20b3a9fba56eca8ecc6c
parent 8de8884603ce21de9c7282b955cb5ef2077277c3
author Edwin Kempin <ekempin@google.com> 1546002961 +0100
committer Edwin Kempin <ekempin@google.com> 1546002961 +0100

Merge branch stable-2.12

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

Change-Id: I45ca07a7bc98d3d8acb2d8af0516a42eef90e845