Upgrade JGit to 5.9.0.202009080501-r
Align with the latest JGit actual release version used in core Gerrit
master branch. That is, before it started using non-released JGit
versions based on commits.
The latter are contained by one or a few recent tags in JGit, but those
tags are only release candidates. Hence they have no maven artifact or
published sha1 for them yet. Once their corresponding formal release is
ready (JGit 5.10.0 here), this used jgit version may be amended further.
Change-Id: I44826e38f4957c8e68be24d8ecc5f2df90e3bdf9
1 file changed
