Hacker News new | ask | show | jobs
by corobo 4224 days ago
You have probably just saved me.. minutes of time over the course of a year!

But seriously thanks, I was going into the known_hosts file and manually deleting the offending line :)