From: David Pursehouse <david.pursehouse@gmail.com>
Date: Sat, 20 Oct 2018 09:04:41 +0000 (+0900)
Subject: Merge branch 'stable-5.1'
X-Git-Tag: v5.2.0.201811281532-m3~75
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=36432ac4e36cf8d59e45877ea69de70354e0ca0b;p=jgit.git

Merge branch 'stable-5.1'

* stable-5.1:
  Prepare 5.1.4-SNAPSHOT builds
  JGit v5.1.3.201810200350-r
  Prepare 4.11.6-SNAPSHOT builds
  JGit v4.11.5.201810191925-r
  Prepare 4.9.8-SNAPSHOT builds
  JGit v4.9.7.201810191756-r
  Update API problem filter
  Prepare 4.7.7-SNAPSHOT builds
  JGit v4.7.6.201810191618-r
  Update API problem filter
  Fix file handle leak in ObjectDownloadListener.onWritePossible
  Replace Findbugs with Spotbugs in org.eclipse.jgit/pom.xml
  Replace FindBugs with SpotBugs
  Prepare 4.4.2-SNAPSHOT builds
  JGit v4.0.3.201509231615-r

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

36432ac4e36cf8d59e45877ea69de70354e0ca0b