v2.13.12
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAABAgAGBQJcN/XrAAoJEB//ql4Ycfd1RzUIAKT0AnKt+I7ABGa9S/6qsjfN
l2nKax0sntyphI1LQbJIWF5lAbTqpZTGq+haJ6lqBX+ifUhyAOFG/x/8e/oGnF4c
aO14ZplK7YadU7tK/M6FuCGRDAlB+nrp2fngWBGtjMalply4MTpx5HWQgFgOlo2m
LSXLuWwxLd1EDIu+gRC5LUdE7jLeBrJY8wSl9nthLXX4E3FJaQsYIbv1TvjQCiXY
Pm/D/QWmfUO+idH97GUhFETLy09hfDehrCVFNFnyypvOFBLKeJDxTGfn2cM4PSOG
8NlIStbLm9hJbxUrR66x+jp/R0VtDpFnge/WmbKuNT0X5p5P5oQak2uqSv026IM=
=0mFU
-----END PGP SIGNATURE-----
Merge branch stable-2.12

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

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