]> source.dussan.org Git - jgit.git/commitdiff
Merge "Upgrade spotbugs to 3.1.7"
authorDavid Pursehouse <david.pursehouse@gmail.com>
Tue, 16 Oct 2018 23:34:04 +0000 (19:34 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Tue, 16 Oct 2018 23:34:04 +0000 (19:34 -0400)

Trivial merge