Might want to allow different host keys for different ports on same host

[Christian Kurz]

On 00-12-28 Markus Friedl wrote:
> the HostKeyAlias option (added yesterday)
> can be used for this and similar problems.

That's really good news. Thanks for you work on openssh and for
answering my bug reports so fast. :)

Ciao
     Christian
-- 
          Debian Developer and Quality Assurance Team Member
    1024/26CC7853 31E6 A8CA 68FC 284F 7D16  63EC A9E6 67FF 26CC 7853