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

iQEcBAABAgAGBQJckAUOAAoJEB//ql4Ycfd1aHIH/itdZBCgVlM1rNsUQlQfMsU1
dQinU564o79gEfoK/cnaTfcapZ7d9/m7CqXuirBA1TiwY5XsJ2eA1T2wP0C9kNY0
qaurxMN9etuGLDHjWobUpOX7aSzn08N9tzE8cpMDOi/gQ/2bCso/4vY/aR8AylA2
hc9jekCBablqYPd+ZXMQixPC1RSejwOCsCNbgxOrP/g8XQ2Mis9rCDqfcqSZo1+b
pjVFREaT9KBmMZbgyr4B5WujAGlEX8ojMCo4VvkPMQzjx/9cvzEy8h7NSa9XFdW2
Y0ieoqYkjOxo8Fu3ZV5R0JCiopUPUy1+WpCOjGwhmbzreX6x9ympm/MeetcbHjE=
=5hdv
-----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/