]> source.dussan.org Git - jgit.git/commitdiff
Merge "RefDirectory: remove ref lock file for following ref dir removal" into stable-4.4
authorChristian Halstrick <christian.halstrick@sap.com>
Fri, 15 Jul 2016 08:43:50 +0000 (04:43 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Fri, 15 Jul 2016 08:43:53 +0000 (04:43 -0400)

Trivial merge