Added by Michael Hanselmann about 15 years ago
Use new cluster alias in known_hosts file
Reviewed-by: ultrotter
View differences