ssh_config: Hostname with multiple IP addresses

[Harald Dunkel]

Hi folks,

ssh_config(5) explicitly allows numeric IP addresses (plural) on the
Hostname config line in .ssh/config, but it doesn't tell the syntax.
Neither

	Hostname 10.0.0.1 2001:db8::1
nor
	Hostname 10.0.0.1,2001:db8::1
nor
	Hostname 2001:db8::1
	Hostname 10.0.0.1

seem to work.

How is this supposed to be written? Would you mind to improve the man
page?


Thanx in advance
Harri