Upgrade JGit to 4.9.0.201710071750-r

Change-Id: I5bee1d837cc8b5a0ab29ff29c35d9b218d334863
1 file changed
tree: 645cd7f855638653b2f584b420a67efbeda62712
  1. src/
  2. tools/
  3. .gitignore
  4. bazlets.bzl
  5. BUILD
  6. external_plugin_deps.bzl
  7. WORKSPACE