]> source.dussan.org Git - jgit.git/commitdiff
projects / jgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7647b03 1bec897)
Merge branch 'stable-5.1' 79/130579/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Mon, 8 Oct 2018 01:53:54 +0000 (10:53 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Mon, 8 Oct 2018 01:54:09 +0000 (10:54 +0900)
* stable-5.1:
  Update API warning filter to 5.1.3

Change-Id: I5d88e41308dc3076e17463d949efdabcf602305a
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>

Trivial merge
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit