Revision 1ff08570
| ID | 1ff085706667454ec50564add3ed982cf8789bdc |
| Parent | b047857b |
| Child | f408b346 |
Use new cluster alias in known_hosts file
Reviewed-by: ultrotter
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 1ff085706667454ec50564add3ed982cf8789bdc |
| Parent | b047857b |
| Child | f408b346 |
Added by Michael Hanselmann over 15 years ago
Use new cluster alias in known_hosts file
Reviewed-by: ultrotter