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. lib/
  2. src/
  3. .buckconfig
  4. .gitignore
  5. BUCK
  6. LICENSE