From de24c12e467b228f218cd5b14c30fdfd655bc487 Mon Sep 17 00:00:00 2001 From: Jacob Nevins Date: Fri, 25 Mar 2016 10:40:03 +0000 Subject: [PATCH] Logical host name: minor rewording. --- doc/config.but | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/config.but b/doc/config.but index a4e7fb83..e56c069a 100644 --- a/doc/config.but +++ b/doc/config.but @@ -1762,7 +1762,7 @@ you to reconfirm its host key. Conversely, if you expect to use the same local port number for port forwardings to lots of different servers, you probably didn't want any particular server's host key cached under that local port number. (For this latter case, you -could also explicitly configure host keys in the relevant sessions; +could instead explicitly configure host keys in the relevant sessions; see \k{config-ssh-kex-manual-hostkeys}.) If you just enter a host name for this option, PuTTY will cache the