]> source.dussan.org Git - jgit.git/commitdiff
Merge "LocalDiskRepositoryTestCase: Prevent duplicates in list of repos to close"
authorMatthias Sohn <matthias.sohn@sap.com>
Sat, 28 Jan 2017 16:45:19 +0000 (11:45 -0500)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Sat, 28 Jan 2017 16:45:21 +0000 (11:45 -0500)

Trivial merge