]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-5.1' 63/131163/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 18 Oct 2018 23:06:39 +0000 (08:06 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Thu, 18 Oct 2018 23:06:45 +0000 (08:06 +0900)
* stable-5.1:
  ssh: Prefer algorithms of the known host keys

Change-Id: I4868359c9df75cb2c51331789cb9f34473801569
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>

Trivial merge