commit d798193755bab100ef0e3b6293cc4d1eeeaba079
author David Pursehouse <dpursehouse@collab.net> Thu Jul 12 18:16:35 2018 +0900
committer David Pursehouse <dpursehouse@collab.net> Thu Jul 12 18:16:38 2018 +0900
tree cad5bfa4ba56292c9400e6700e0fc7df3266c44d
parent 26fb902345367fab0d8deafd2dd6b273d91af17b

JGit: Use Javadoc from 5.0.1.201806211838-r

When we upgraded to 5.0.1.201806211838-r the Javadoc was not
available, so the previous version was used.

Now it's available, so we can use it.

Change-Id: Ic1b244177964d6a15d0179e3bf5223ff7fc07cd8

lib/jgit/jgit.bzl

diff --git a/lib/jgit/jgit.bzl b/lib/jgit/jgit.bzl
index be90acb..384469c 100644
--- a/lib/jgit/jgit.bzl
+++ b/lib/jgit/jgit.bzl
@@ -2,7 +2,7 @@
 
 _JGIT_VERS = "5.0.1.201806211838-r"
 
-_DOC_VERS = "5.0.0.201806131550-r"  # Set to _JGIT_VERS unless using a snapshot
+_DOC_VERS = _JGIT_VERS  # Set to _JGIT_VERS unless using a snapshot
 
 JGIT_DOC_URL = "http://download.eclipse.org/jgit/site/" + _DOC_VERS + "/apidocs"