From: David Pursehouse <david.pursehouse@gmail.com>
Date: Wed, 6 Sep 2017 05:33:05 +0000 (-0400)
Subject: Merge "Remove no longer needed API problem filters"
X-Git-Tag: v4.9.0.201710071750-r~25
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=b23dfe16160af1238db6ed295e8f47438791cbfc;p=jgit.git

Merge "Remove no longer needed API problem filters"
---

b23dfe16160af1238db6ed295e8f47438791cbfc