]> source.dussan.org Git - jgit.git/commitdiff
Merge "Fix public API issues introduced in I1baeedcc6946."
authorJonathan Nieder <jrn@google.com>
Wed, 10 Jun 2015 00:45:15 +0000 (20:45 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Wed, 10 Jun 2015 00:45:16 +0000 (20:45 -0400)

Trivial merge