DM> Furthermore, an automated tool to delete keys from known_hosts already DM> exists. I bet if you read some manpages then you will find it. Well I hope the message will mention something about it. I dare not CC upstream though.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

