]> source.dussan.org Git - jgit.git/commitdiff
Merge "Add public isStaleFileHandle() API, improve detection."
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 26 Aug 2015 20:16:28 +0000 (16:16 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Wed, 26 Aug 2015 20:16:30 +0000 (16:16 -0400)

Trivial merge