Merge pull request #2167 from uli-heller/jgit-512
jgit: Upgraded to 5.1.2
commit a8114216fe2e03b13d40ccbc60d93d1de62a20ad
2 parents 9d32b38 + a1b78a8
@Naoki Takezoe Naoki Takezoe authored on 13 Oct 2018
GitHub committed on 13 Oct 2018
Showing 1 changed file
View
build.sbt