]> source.dussan.org Git - jgit.git/commit
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)
commit8309f5011eaf161115b8e78a9d8f1a6a2a6c1c86
tree73df9b58e4844220550be2d93715b6ca56d0101b
parent7647b03e94b515187c0d84d228c9f1c85651d415
parent1bec897ada5f2be6aa4b153ea35d9264c292b458
Merge branch 'stable-5.1'

* stable-5.1:
  Update API warning filter to 5.1.3

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