]> source.dussan.org Git - jgit.git/commitdiff
Merge "Automatically reload known_hosts file"
authorShawn Pearce <sop@google.com>
Fri, 25 Apr 2014 16:34:37 +0000 (12:34 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Fri, 25 Apr 2014 16:34:37 +0000 (12:34 -0400)

Trivial merge