Upgrade JGit to 4.1.2.201602141800-r

To match the version used in Gerrit's stable-2.12 branch.

Change-Id: Ia3e237d7d510e0ce6a4512269982358a40af04ab
1 file changed
tree: ce9764ba7365a939b4ac18cebd133e1a7cc008c8
  1. .buckconfig
  2. .gitignore
  3. BUCK
  4. LICENSE
  5. lib/
  6. src/