v2.13.12
Merge branch stable-2.12

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

Change-Id: I45ca07a7bc98d3d8acb2d8af0516a42eef90e845
tree: d83b99052ca64cb99e349262b9f396a7df6ece3d
  1. .settings/
  2. src/
  3. .gitignore
  4. BUCK
  5. LICENSE