David Pursehouse 9c01140c57 Upgrade JGit to v5.7.0.202003090808-r ... Change-Id: I245cc5a1ac5bac8bd286d841ca6e4fc1bec9aeb9		2020-03-10 18:49:31 +09:00
..
jgit@f5793bea53	Upgrade JGit to v5.7.0.202003090808-r	2020-03-10 18:49:31 +09:00